 Hi and welcome to the session. I'm Kanika and I'm going to help you to solve the following question. The question says Show that the following argument is valid. S1 is P or Q, S2 is negation of P and S is Q Let's now start the solution We will first construct a truth table for all Hypothesis and Conclusion in this question two hypothesis are given to us first hypothesis is P or Q and second one is negation of P and The conclusion is Q. So let's make a truth table for P or Q negation of P and Q Let P has truth value T, T, F, F Let Q has truth value T, F, T, F Now we will find the truth value of both the hypothesis first hypothesis is P or Q So let's first find the truth value of P or Q when both P and Q has truth value T then P or Q has truth value T When P has truth value T and Q has truth value F then P or Q has truth value T When P has truth value F, Q has truth value T, then P or Q has truth value T When both P and Q has truth value F then P or Q has truth value F Now we will find the truth value of negation of P When P has truth value T the negation of P has truth value F When p has truth value f the negation of p has truth value t now We will find the truth value of the conclusion truth here the conclusion is q so truth value of q is t f t f Now we will find the critical rows critical rows are those rows in which the hypothesis are true Only in the third row the hypothesis are true Now we will see whether the conclusion is true or not in this critical row Conclusion is also true in this critical row So this means that the given argument is valid So There is only Only one critical row in which the conclusion is also true Hence the given argument is Valid this completes the session by and take care