Prove:
p
___________________
p V ((q & r) -> (s & t))
Simplifcation:
p & q
___________________
p
p & q
___________________
q
Conjunction:
p
q
__________________
p & q
Modus Ponens:
p -> q
p
__________________
q
Modus Tollens:
p -> q
~q
__________________
~p
Addition:
p
__________________
p V q
Prove:
(p & q) & (r & s)
___________________
q & r
Prove:
p -> q
~q
___________________
~p V r
Prove:
p -> ~(q V r)
q
___________________
~p & q