classical-logic - Tools for Classical Logic
classical-logic is a Python package that allows you to work with logical propositions as Python objects.
It's extremely simple to use:
1 2 3 4 5 |
|
Features
Parse proposition objects:
1 2 3 4 5 6 |
|
Compose proposition objects:
1 2 3 4 5 6 7 8 9 |
|
Decompose propositions:
1 2 3 4 5 6 7 8 9 10 |
|
Interpret propositions (assign truth values):
1 2 3 4 5 6 |
|
No dependencies. This package doesn't use any dependencies.
Want to learn more? See the User Guide
Links
Installation
This package can be installed using Pip:
1 |
|
Please make sure you use a dash (-) instead of an underscore (_).
Bug Reports and Feature Requests.
You can report a bug or suggest a feature on the Github repo.
See the Issues page on Github.
Contributions
Contributions to this project are welcome. :)
See the pull requests page on Github.