Prove the validity of the arguments using rules of inference. { (p→q) ^ [ q → (r ^ s) ] ^ (p ^ w) ^ [~r v (~w v u) ] } → u
The Answer to the Question
is below this banner.
Can't find a solution anywhere?
NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?
Get the Answers Now!You will get a detailed answer to your question or assignment in the shortest time possible.
Here's the Solution to this Question
{ (p→q) ^ [ q → (r ^ s) ] ^ (p ^ w) ^ [~r v (~w v u) ] } → u
P is true
q is true
r is true
s is true
W is true
u is true
{ (p→q) ^ [ q → (r ^ s) ] ^ (p ^ w) ^ [~r v (~w v u) ] } → u
This is critical row so prove the validity of argument
Using truth table
Lawof syllagism