• retagged by
668 views
1 1 vote

Which of the following statements are tautologies?
(You may select more than one option.)

  1. $(p \wedge q) \rightarrow p$
  2. $p \rightarrow(p \vee q)$
  3. $p \rightarrow(p \rightarrow q)$
  4. $(p \wedge q) \rightarrow(p \rightarrow q)$

6 Answers

2 2 votes
Answer: A,B,D
While checking tautology for implications, check whether we can make $\mathrm{T} \rightarrow \mathrm{F}$, because that is the only combination that can make a implication false.

Try to make RHS as false by keeping LHS as True.
Let's check every option in the question
Option A: LHS is true only when both P and Q are T, RHS can't be false here. Hence tautology

Option B: Here if P is T, then it makes P V Q to True, Hence tautology
Option C: Here counter example is $\mathrm{P}=\mathrm{T}$ and $\mathrm{Q}=\mathrm{F}$, makes the expresssion false, hence not tautology

Option D: LHS is true when both P and Q are T, if both are T then P $\rightarrow$ Q is Also true, so we can't have something like $\mathrm{T} \rightarrow \mathrm{F}$. Hence tautology.
• reshown by
0 0 votes
C cant be since taking P as true and Q as false make it false hence there exists a condition where we can make it false hence implies it is not tautology and it is contingency
rest are tautology
Answer:
Position:
Show:

Related questions

2 2 votes
7 7 answers
775
775 views
GO Classes asked Jun 5, 2025
775 views
Mark all the statements that are logically true:If $1+1=2$, then $2+2=5$If $1+1=2$, then $2+2=4$If $1+1=3$, then $2+2=5$If monkeys can fly, then $1+1=3$
5 5 votes
6 6 answers
640
640 views
6 6 votes
7 7 answers
883
883 views
GO Classes asked Jun 5, 2025
883 views
Consider the statement form $p \Rightarrow q$ where $p=$ "If Tom is Jane's father then Jane is Bill's niece" and $q=$ "Bill is Tom's brother." Which of the following stat...
1 1 vote
5 5 answers
575
575 views
GO Classes asked Jun 5, 2025
575 views
Q4. The statement form $(p \Leftrightarrow r) \Rightarrow(q \Leftrightarrow r)$ is logically equivalent to:$(\sim p \vee r) \wedge(\sim r \vee p) \Rightarrow(\sim q \vee ...