Propositional Logic First Order Logic Based on Russell and Norvig slides
1 Propositional Logic Introduction. 2 What is propositional logic? Propositional Logic is concerned with propositions and their interrelationships.
Propositional and First-Order Logic
CMSC 471 Fall 2004
CMSC 471 Fall 2002