in Mathematical Logic
154 views
0 votes
0 votes
how to solve i go to left to right or vice -versa??

S1: (P → (Q ∨ R)) ∧ (P → (Q ∨ ¬R)) → P → Q

S2: (P → Q) ∧ ((Q ∧ R) → S) → (P ∧ R) → S

Which of the following statements is tautology?

(A) Only S1

(B) Only S2

(C) both S1 and S2

(D) None of the above
in Mathematical Logic
154 views

3 Comments

implication doesnt have associativity. So, assume left to right. Cant help.
0
0
first one is not tautalogy we can True False case rt??
0
0
first one is tautology for sure i am confused about the S2
0
0

Please log in or register to answer this question.

Related questions

–1 vote
–1 vote
0 answers
1
rajesh170293 asked in Algorithms Feb 1, 2017
142 views
rajesh170293 asked in Algorithms Feb 1, 2017
142 views