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.
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
. What relationship is there between these propositions? We can say
P /\ Q
P /\ Q
, we could indeed conclude
. But now, suppose we were told