<Previous Exercise> <Home> <Next Exercise>

Page last updated:

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

(G C) ~(E A)
(M L) (C A)
_______________
~(M L)