CS156
Chris Pollett
Mar 9, 2015
The logical connectives are:
Sentence := AtomicSentence | ComplexSentence
AtomicSentence := True | False | P | Q | R |...
ComplexSentence := (Sentence) | [Sentence]
| `neg` Sentence
| Sentence `^^` Sentence
| Sentence `vv` Sentence
| Sentence `=>` Sentence
| Sentence `<=>` Sentence
Which of the following is true?