Reply
Mon 14 Dec, 2015 08:57 pm
Use the Direct Approach TF Method with the Conditional Proof Technique to determine if the argument is valid or invalid. If valid, construct a proof. If invalid, produce a counterexample chart.
p Λ ~w
~w → ( b V c )
p → ( a → c )
______________
a → b