LogicalPy is a Python library providing basic functionalities for manipulating propositional logic.
The library allows to work with classical propositional logic formulae. The main features include:
- The construction of logical formulae either directly or from a string
- The visualisation of truth tables
- The implementation of semantic notions: satisfiability, entailment...
- The conversion to normal forms (NNF, CNF, or DNF)
- The implementation of a Hilbert-style proof system
- Automated theorem proving with the resolution procedure
The library also supports LaTeX code generation for most of its functionalities.
For the complete documentation, see https://cubix1729.github.io/logicalpy/.
With pip:
pip install logicalpy
Note that the library needs a Python version higher than 3.9.
If you want to contribute to this project, you can open an issue to report a bug or request a feature, or make a pull request. See CONTRIBUTING.md for detailed contribution guidelines.
This project is licensed under the MIT license.