Use a short truth table to determine whether or not the following argument is valid.
(K & ~C) -> ~(P & R)
J -> (K & P)
A -> (P & R)
Thus, (A & J) -> C
Question 1 options:
Valid
Invalid, with R = false, P = true
Invalid, with A = true, K = true
Invalid, with J = true, R = true
Invalid, with P = true, C is false
The truth table for the given expression is-
Thus "(A \\text { and }J)\\rightarrow C" is wrong statement.
Hence The given statements are invalid with P = true, C is false.
Comments
Leave a comment