SENTENTIAL DEDUCTIONS
PRACTICE PROBLEMS
#1
Deduce r
1. p É r Premise
2. p Premise
#2
Deduce u
1. (p V z) É u Premise
2. p V z Premise
#3
Deduce ~p V d
1. p É d Premise
#4
Deduce q
1. p V q Premise
2. ~p Premise
#5
Deduce m
1. m & w Premise
#6
Deduce ~q
1. p & ~q Premise
#7
Deduce p É (q É r)
1. (p & q) É r Premise
#8
Deduce p É q
1. ~p V q Premise
#9
Deduce ~p V ~m
1. (p & m) V r Premise
2. ~r Premise
#10
Deduce t V w
1. (p V z) É (t V w) Premise
2. p V z Premise
#11
Deduce r
1. (p & m) V r Premise
2. ~(p & m) Premise
#12
Deduce d V f
1. p V g Premise
2. p É d Premise
3. g É f Premise
#13
Deduce ~(m V n)
1. ~z Premise
2. (m V n) É z Premise
#14
Deduce c
1. p Premise
2. (p V b) É c Premise
#15
Deduce p & r
1. p & q Premise
2. r Premise
#16
Deduce m & n
1. p & m Premise
2. n & t Premise
#17
Deduce r
1. p & ~q Premise
2. ~q É r Premise
#18
Deduce n
1. r V (p & m) Premise
2. (r V p) É n Premise
#19
Deduce ~(p V m)
1. ~p Premise
2. ~m Premise
#20
Deduce ~p V o
1. p É q Premise
2. ~q Premise
#21
Deduce r
1. (q V p) É r Premise
2. q Premise
#22
Deduce ~p
1. (p V m) V r Premise
2. ~r Premise
#23
Deduce ~p
1. (p V m) V r Premise
2. ~r Premise
#24
Deduce d & f
1. p & g Premise
2. p É d Premise
3. g É f Premise
#25
Deduce p & ~z
1. p & ~q Premise
2. z É q Premise
#26
Deduce q
1. p É r Premise
2. (r & z) É q Premise
3. z Premise
4. p Premise
#27
Deduce p & q
1. ~z Premise
2. z V q Premise
3. q É p Premise
#28
Deduce p & q
1. z Premise
2. m É q Premise
3. (z V r) É m Premise
4. p Premise
#29
Deduce m V n
1. z Premise
2. (z V r) É m Premise
#30
Deduce ~m V d
1. ~z Premise
2. (m V n) É z Premise
#31
Deduce p & q
1. p º q Premise
2. p Premise
#32
Deduce p
1. ~(q V p) É r Premise
2. ~r & ~q Premise
#33
Deduce p É r
1. (q p) É r Premise
2. q Premise
#34
Deduce p É (r & b)
1. ~s V r Premise
2. s Premise
3. (r & p) É b Premise
#35
Deduce p É r
1. (q V p) É r Premise
#36
Deduce m
1. m V (p & q) Premise
2. ~p Premise
#37
Deduce m
1. m V (p & q) Premise
2. p É (d c) Premise
3. ~q V ~d Premise
#38
Deduce p V b
1. (~p V q) É r Premise
2. ~r V b Premise
5