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) )


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.