14 Apr 2005
CS 3243 - Revision
26
Propositional and First Order Logic
¡Propositional
Logic
lFacts are true or false
¡First
Order Logic
lRelationships and properties of objects
lMore expressive and succinct
¡Quantifiers, functions
¡Equality operator
lCan convert back to prop logic to do