Notes 7: Knowledge Representation, The Propositional Calculus
Notes 7: Knowledge Representation, The Propositional Calculus ICS 270A Winter 2003.
Artificial Intelligence Chapter 13 The Propositional Calculus