LogicalPy

LogicalPy is a Python library providing basic functionalities for manipulating propositional logic.

Description

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/.

Installation

With pip:

pip install logicalpy

Note that the library needs a Python version higher than 3.9.

Contributing

If you want to contribute to this (small) project, you can open an issue to report a bug or request a feature, or make a pull request.

Tests

To run the the tests, first clone the repository, go into the logicalpy directory and locally install the project with pip install -e . Then, go into the tests directory and run python -m unittest.

License

This project is licensed under the MIT license.