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. ¬(q ∨ r) ¬q ⇒ ¬¬p
d. (p ∧ q) ∨ (p ¬∧ q)
e. p ∨ ¬q ∧ ¬p ∨ ¬q ⇒ p ∨ q