Current Slide


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


There are currently no sources for this slide.