Professor James Ireland
Philosophy 2303 – Symbolic Logic
Spring 2012
Truth Tree Practice Problems
Construct a truth tree for each of the following sets of sentences.
1)
2)
~ (A & B)
~ (~ A! ~ B)
(~ A !~ B)
~ (A ! B)
(A !~ B)
3) (~ A ! B)
~ (A ! B)
4)
~~ (~ (A & B) !~ (A " B))
((~ A ! A) # (~ B ! B))
5)
~ ((A & B) & (C ! D)) " (~ A& ~ D))
(~ (A ! D) " (((A & B)!C)! D))
((A ! B)!(C ! D))
((A !(B !C))! D)
6) (A !((B !C)! D))
(A & B)
(C & D)