1,120 views
0 votes
0 votes
In the question whether this statement is a tautology ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))  ,

If I take first part ((A ∨ B) → C)) as P and second part  ((A → C) ∨ (B → C)) as Q , do I need to prove P-->Q is true? or both P-->Q and  Q-->P as true? I am confused about the ≡ symbol.

Please log in or register to answer this question.

Related questions

1 votes
1 votes
1 answer
2
nishant279 asked Oct 18, 2017
1,213 views
A = ∃x (P(x) ^ Q(x)).B = ∃x P(x) ^ ∃x Q(x).Which is correct?a) A = Bb) B = Ac) A <= Bd) None of ThesePlease Explain.
0 votes
0 votes
0 answers
3
nishant279 asked Oct 18, 2017
462 views
A = ∃x(P(x)^Q(x))B = ∃x P(x) ^ ∃x Q(x), which is correct?a) A <= Bb) A = Bc) B = Ad) None of ThesePlease Explain.