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