Introduction to Logic
Tools
for
Thought
 

Exercise 2.1 - Syntax

Say whether each of the following is a syntactically legal sentence of Propositional Logic.

a. p ∧ ¬p
b. ¬p ∨ ¬p
c. ¬(qr) ¬q ⇒ ¬¬p
d. (pq) ∨ (p ¬∧ q)
e. p ∨ ¬q ∧ ¬p ∨ ¬qpq