Propositional and First Order Logic
		¡ Propositional Logic l Facts are true or false ¡ First Order Logic l Relationships and properties of objects l More expressive and succinct ¡ Quantifiers, functions ¡ Equality operator l Can convert back to prop logic to do