| Propositional Logic |
|
|
|
|
|
|
|
| • | Propositions
- T/F atomic sentences about |
|||||
| the
world |
||||||
| • | Boolean
functions (Ø,Ù,Ú,Þ,Û) - negate |
|||||
| and
logically combine sentences |
||||||
| • | Parentheses
- disambiguates grammar |
|||||
