© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Example Grammar
•
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
