<Previous Exercise> <Home> <Next Exercise>

Page last updated:

2. Construct a truth-tree to determine whether the argument is deductively valid because of its sentential form.

~(R C)
~U (R C)
(~U A) ~S
________________
~A ~S