CS156
Chris Pollett
Oct 16, 2017
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?