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.
Propositional logic is not expressive enough (cont’)
-
We'd like to be able to conclude that Pat will get wet, but nothing we have stated so far will help us do this
-
The problem is that we aren't able to represent any of the details of these propositions
-
It's the internal structure of these propositions that make the reasoning valid.
-
But in propositional calculus we don't have anything else to talk about besides propositions!
⇒ A more expressive logic is needed
⇒ Predicate logic (occasionally referred to as First-order logic (FOL) )