ace test valid,satsfiable

Question

Comments

Its a tautology.

try for T->F it will never give that .

---

I agree with Ashwin

For making conclusion false S and T should be false

and to make Premises True 

we already know S  should be false

hence there arises this situation

($P \wedge (P\rightarrow Q)$) we need Q true here

$(S \wedge R)$ S is false hence R should be True

($R \rightarrow \sim Q)$ we need Q false here

Q needs to be True and also False 

that's not possible hence impossible to create True $\rightarrow $ False

Hence Tautology