Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Extensions

It is possible to represent everything you want in propositional logic

But often this is not very efficient

Basic idea : A proposition is expressed as predicate about (on or more) objects in the world

Propositions are predicates and arguments

I.e. Car(Mercedes Benz).

The most immediate way to develop a more complex logical calculus is to introduce rules that are sensitive to more finegrained details of the sentences being used

When the atomic sentences of propositional logic are broken up into terms, variables, predicates, and quantifiers, they yield firstorder logic , which keeps all the rules of propositional logic and adds some new ones