Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
(T ⊃ U) ⊃ (W ⊃ U)
T ⊃ ~(U ⊃ X)
(T ⊃ ~X) ⊃ W
(A)Inconsistent (B)Consistent. Consistent valuation when U, W, and X are true and T is false (C)Consistent. Consistent valuation when W and X are true and T and U are false (D)Consistent. Consistent valuation when T and U are true and W and X are false
B