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

${(T\implies T)\land[T\implies (T\land T)]\land (T\land T)\land[\tilde r\cup(\tilde T\cup(\tilde T\cup T)]}\implies u\\ {T \land T\land T\land [F\cup(F \cup T)}\implies T\\ T\land T\land T\land [T]\implies T\\ T\implies T\\$ This is critical row so prove the validity of argument

Using truth table

Lawof syllagism

Prove the validity of the arguments using rules of inference. { (p→q) ^ [ q → (r ^ s) ] ^ (p ^ w) ^ [~r v (~w v u) ] } → u

Here's the Solution to this Question

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Question ID: mtid-5-stid-8-sqid-3394-qpid-2093