|
|
|
|
|
|
|
|
|
|
|
|
• |
Propositional
Logic:
|
|
|
|
– |
Sentence
® Proposition | Complex Sentence
|
|
|
|
– |
Proposition
® P | Q | R | …
|
|
|
|
– |
Complex
Sentence ® (Sentence) | Ø Sentence |
|
|
Sentence
Connective Sentence
|
|
|
|
– |
Connective
® Ù | Ú | Þ | Û
|
|
|
• |
Ambiguity
not resolved by parentheses
|
|
|
resolved
by precedence rules
|
|