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 a good vehicle to introduce basic properties of logic; used to:
Associate natural language expressions with semantic representations
Evaluate the truth or falsity of semantic representations relative to a knowledge base
Compute inferences over semantic representations
One of the simplest and most common logic
The core of (almost) all other logics
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License