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.
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
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)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License