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.
It is possible to represent everything you want in propositional logic
But often this is not very efficient
: A proposition is expressed as predicate about (on or more) objects in the world
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 fine-grained details of the sentences being used
When the atomic sentences of propositional logic are broken up into terms, variables, predicates, and quantifiers, they yield
, which keeps all the rules of propositional logic and adds some new ones