pyPL

Python-based interface for defining sentences and making inferences in the language of Propositional Logic

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
tests		tests
.gitignore		.gitignore
README.md		README.md
__init__.py		__init__.py
connective.py		connective.py
exp_tree.py		exp_tree.py
infer.py		infer.py
knowledge_base.py		knowledge_base.py
literal.py		literal.py
requirements.txt		requirements.txt
sentence.py		sentence.py

Provide feedback