Aim: - To implement Propositional Logic in AI using Python.
-
Updated
Apr 15, 2022 - Jupyter Notebook
#
propositional
Here are 2 public repositories matching this topic...
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
logic
prolog
propositional-logic
theorem-prover
propositional-calculus
educational-software
propositional-resolution
classical-logic
subsumption-elimination
propositional
pure-literal-elimination
-
Updated
Apr 28, 2024 - Prolog
Improve this page
Add a description, image, and links to the propositional topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the propositional topic, visit your repo's landing page and select "manage topics."