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.

Aim: - To implement Propositional Logic in AI using Python.

python ai code logic propositional

Add a description, image, and links to the propositional topic page so that developers can more easily learn about it.

To associate your repository with the propositional topic, visit your repo's landing page and select "manage topics."