The top documents tagged [atomic formulas]
Chapter 5 Logic and Inference: Rules
72 views
Logic Programming
25 views
Propositional Equivalences
87 views