|
|
|
| Propositional Logic Syntax |
||
| (cont.) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | connectives
(Ù,Ú,Þ,Û) - logically combine |
|||||||||||
| sentences |
||||||||||||
| – | PÙQ, PÚQ, PÞQ, PÛQ are complex sentences |
|||||||||||
| – | e.g. PÞØQ: “If there is a mine at (1,2), then there is |
|||||||||||
| not a
mine at (2,2).” |
||||||||||||
| • | parentheses
- disambiguates grammar |
|||||||||||
| – | e.g. PÞØQ ÙQ |
|||||||||||
| – | PÞ(ØQ ÙQ) vs.
(PÞØQ) ÙQ |
|||||||||||
