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

  • Suppose we want to capture the knowledge that

    Anyone standing in the rain will get wet.

    and then use this knowledge. For example, suppose we also learn that

    Jan is standing in the rain.

  • We'd like to conclude that Jan will get wet. But each of these sentences would just be a represented by some proposition, say P, Q and R . What relationship is there between these propositions? We can say

    P /\ Q R

    Then, given P /\ Q , we could indeed conclude R . But now, suppose we were told

    Pat is standing in the rain.


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.