A English

Mathematical logic Questions in English

Class 11 Mathematics · Mathematical Reasoning · Mathematical logic

584+

Questions

English

Language

100%

With Solutions

Showing 49 of 584 questions in English

51
MediumMCQ
What type of statement is $\sim (p \rightarrow q) \Leftrightarrow (\sim p \vee \sim q)$?
A
Tautology
B
Contradiction
C
Neither a tautology nor a contradiction
D
None of these

Solution

(C) Let us construct the truth table for the statement $\sim (p \rightarrow q) \Leftrightarrow (\sim p \vee \sim q)$.
$1$. For $p = T, q = T$: $\sim (T$ $\rightarrow T) \Leftrightarrow (\sim T \vee \sim T) \implies \sim (T) \Leftrightarrow (F \vee F) \implies F \Leftrightarrow F$,which is $T$.
$2$. For $p = T, q = F$: $\sim (T$ $\rightarrow F) \Leftrightarrow (\sim T \vee \sim F) \implies \sim (F) \Leftrightarrow (F \vee T) \implies T \Leftrightarrow T$,which is $T$.
$3$. For $p = F, q = T$: $\sim (F$ $\rightarrow T) \Leftrightarrow (\sim F \vee \sim T) \implies \sim (T) \Leftrightarrow (T \vee F) \implies F \Leftrightarrow T$,which is $F$.
$4$. For $p = F, q = F$: $\sim (F$ $\rightarrow F) \Leftrightarrow (\sim F \vee \sim F) \implies \sim (T) \Leftrightarrow (T \vee T) \implies F \Leftrightarrow T$,which is $F$.
Since the truth values of the statement are not all $T$ (not a tautology) and not all $F$ (not a contradiction),it is neither a tautology nor a contradiction.
52
EasyMCQ
The negation of the statement "If $I$ become a teacher,then $I$ will open a school" is:
A
$I$ will not become a teacher or $I$ will open a school.
B
$I$ will become a teacher and $I$ will not open a school.
C
Perhaps $I$ will not become a teacher or $I$ will not open a school.
D
Neither $I$ will become a teacher nor $I$ will open a school.

Solution

(B) Let $p$ be the statement "$I$ become a teacher" and $q$ be the statement "$I$ will open a school".
The given statement is in the form of an implication: $p \implies q$.
The negation of an implication $p \implies q$ is given by $\sim(p \implies q) \equiv p \land \sim q$.
Here,$p$ is "$I$ become a teacher" and $\sim q$ is "$I$ will not open a school".
Therefore,the negation is "$I$ will become a teacher and $I$ will not open a school".
53
EasyMCQ
The expression $\sim (p \vee q) \vee (\sim p \wedge q)$ is equivalent to:
A
$p$
B
$\sim p$
C
$q$
D
$\sim q$

Solution

(B) Using De Morgan's Law,$\sim (p \vee q) \equiv (\sim p \wedge \sim q)$.
So,the expression becomes $(\sim p \wedge \sim q) \vee (\sim p \wedge q)$.
By the Distributive Law,this is equivalent to $\sim p \wedge (\sim q \vee q)$.
Since $(\sim q \vee q) \equiv t$ (Tautology),the expression becomes $\sim p \wedge t$.
By the Identity Law,$\sim p \wedge t \equiv \sim p$.
54
EasyMCQ
What is the statement $(p$ $\rightarrow \sim p) \wedge (\sim p$ $\rightarrow p)$?
A
Tautology
B
Contradiction
C
Neither a tautology nor a contradiction
D
None of these

Solution

(B) We know that $p \rightarrow q \equiv \sim p \vee q$.
Applying this to the given expression:
$(p$ $\rightarrow \sim p) \wedge (\sim p$ $\rightarrow p) \equiv (\sim p \vee \sim p) \wedge (p \vee p)$.
Using the idempotent law $(p \vee p \equiv p)$:
$\equiv (\sim p) \wedge (p)$.
Since $p \wedge \sim p \equiv c$ (where $c$ is a contradiction),the statement is a contradiction.
55
MediumMCQ
The statement $(p \wedge \sim q) \wedge (\sim p \vee q)$ is a...
A
Contradiction
B
Tautology
C
Neither a tautology nor a contradiction
D
Both a tautology and a contradiction

Solution

(A) Let $S = (p \wedge \sim q) \wedge (\sim p \vee q)$.
Using the distributive law,we expand the expression:
$S = [(p \wedge \sim q) \wedge \sim p] \vee [(p \wedge \sim q) \wedge q]$
Using the associative and commutative laws:
$S = [(p \wedge \sim p) \wedge \sim q] \vee [p \wedge (\sim q \wedge q)]$
Since $(p \wedge \sim p) = c$ (contradiction) and $(\sim q \wedge q) = c$:
$S = (c \wedge \sim q) \vee (p \wedge c)$
$S = c \vee c = c$
Since the result is a contradiction,the statement is a contradiction.
56
MediumMCQ
Which of the following is logically equivalent to $(p \wedge q)$?
A
$p \rightarrow \sim q$
B
$\sim p \vee \sim q$
C
$(p \rightarrow q)$
D
$\sim (p \rightarrow \sim q)$

Solution

(D) We know that the implication $p \rightarrow q$ is equivalent to $\sim p \vee q$.
Applying this to the expression $\sim (p \rightarrow \sim q)$:
$\sim (p \rightarrow \sim q) \equiv \sim (\sim p \vee \sim q)$.
Using De Morgan's Law,$\sim (\sim p \vee \sim q) \equiv (\sim \sim p \wedge \sim \sim q) \equiv (p \wedge q)$.
Therefore,the expression $\sim (p \rightarrow \sim q)$ is logically equivalent to $(p \wedge q)$.
57
MediumMCQ
Which of the following is a statement?
A
Open the door.
B
Do your homework.
C
Hurrah! We won the match.
D
The sum of two and two is five.

Solution

(D) statement in logic is a declarative sentence that is either true or false,but not both.
$(a)$ 'Open the door' is an imperative sentence (command).
$(b)$ 'Do your homework' is an imperative sentence (command).
$(c)$ 'Hurrah! We won the match' is an exclamatory sentence.
$(d)$ 'The sum of two and two is five' is a declarative sentence that is false. Since it has a definite truth value (false),it is a mathematical statement.
58
MediumMCQ
If the statement $p \rightarrow (q \vee r)$ is false,then the truth values of $p, q, r$ are respectively:
A
$T, F, F$
B
$F, T, F$
C
$F, F, F$
D
None of these

Solution

(A) conditional statement $p \rightarrow S$ is false if and only if $p$ is $T$ and $S$ is $F$.
Here,$p \rightarrow (q \vee r)$ is false.
This implies $p$ is $T$ and $(q \vee r)$ is $F$.
For the disjunction $(q \vee r)$ to be $F$,both $q$ and $r$ must be $F$.
Therefore,the truth values are $p = T, q = F, r = F$.
59
MediumMCQ
Statement-$1$: $\sim (p \Leftrightarrow \sim q)$ is equivalent to $p \Leftrightarrow q$.
Statement-$2$: $\sim (p \Leftrightarrow \sim q)$ is a tautology.
A
Statement-$1$ is true. Statement-$2$ is false.
B
Statement-$1$ is false. Statement-$2$ is true.
C
Statement-$1$ is true,Statement-$2$ is true. Statement-$2$ is the correct explanation for Statement-$1$.
D
Statement-$1$ is true,Statement-$2$ is true. Statement-$2$ is not the correct explanation for Statement-$1$.

Solution

(A) Statement-$1$: $\sim (p \Leftrightarrow \sim q)$ is equivalent to $p \Leftrightarrow q$.
Statement-$2$: $\sim (p \Leftrightarrow \sim q)$ is a tautology.
$p$$q$$\sim q$$(p \Leftrightarrow q)$$(p \Leftrightarrow \sim q)$$\sim (p \Leftrightarrow \sim q)$
$T$$T$$F$$T$$F$$T$
$T$$F$$T$$F$$T$$F$
$F$$T$$F$$F$$T$$F$
$F$$F$$T$$T$$F$$T$

From the truth table,we can see that the column for $\sim (p \Leftrightarrow \sim q)$ is identical to the column for $(p \Leftrightarrow q)$,so Statement-$1$ is true.
However,the column for $\sim (p \Leftrightarrow \sim q)$ contains both $T$ and $F$ values,so it is not a tautology. Thus,Statement-$2$ is false.
60
EasyMCQ
Which of the following is true?
A
$p \vee (\sim p) = c$
B
$p \wedge p = t$
C
$p \wedge (\sim p) = t$
D
$p \vee p = p$

Solution

(D) We know the following logical identities:
$p \vee (\sim p) = t$ (Tautology)
$p \wedge (\sim p) = c$ (Contradiction)
$p \wedge p = p$
$p \vee p = p$
Comparing these with the given options,$p \vee p = p$ is true.
61
EasyMCQ
The negation of the statement "$12$ is a multiple of $3$ and $12$ is a multiple of $4$" is:
A
$12$ is not a multiple of $3$ or $12$ is not a multiple of $4$.
B
$12$ is a multiple of $3$ or $4$.
C
$12$ is a multiple of $3$ and $12$ is a multiple of $4$.
D
$12$ is not a multiple of $3$ and $12$ is not a multiple of $4$.

Solution

(A) Let $p$ be the statement: "$12$ is a multiple of $3$".
Let $q$ be the statement: "$12$ is a multiple of $4$".
The given statement is $p \wedge q$.
The negation of $p \wedge q$ is $\sim (p \wedge q) = \sim p \vee \sim q$ (by De Morgan's Law).
Therefore,the negation is: "$12$ is not a multiple of $3$ or $12$ is not a multiple of $4$".
62
EasyMCQ
If $p \rightarrow (q \vee r)$ is false,then what are the truth values of $p, q, r$ respectively?
A
$T, F, F$
B
$F, F, F$
C
$F, T, T$
D
$T, T, F$

Solution

(A) We know that the implication $p \rightarrow (q \vee r)$ is false only when the antecedent $p$ is true and the consequent $(q \vee r)$ is false.
For the disjunction $(q \vee r)$ to be false,both $q$ and $r$ must be false.
Therefore,the truth values are $p = T, q = F, r = F$.
63
DifficultMCQ
Which of the following statements is a tautology?
A
$q$ $\rightarrow [p \wedge (p$ $\rightarrow q)]$
B
$p \wedge (p \vee q)$
C
$p \vee (p \wedge q)$
D
$[p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$

Solution

(D) To check if $[p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$ is a tautology:
$1$. Use the implication law $p \rightarrow q \equiv \sim p \vee q$:
$[p \wedge (\sim p \vee q)] \rightarrow q$
$2$. Apply the distributive law:
$[(p \wedge \sim p) \vee (p \wedge q)] \rightarrow q$
$3$. Since $p \wedge \sim p \equiv F$ (contradiction):
$[F \vee (p \wedge q)] \rightarrow q$
$4$. Simplify using the identity law $F \vee r \equiv r$:
$(p \wedge q) \rightarrow q$
$5$. Apply the implication law again:
$\sim (p \wedge q) \vee q$
$6$. Apply De Morgan's law:
$(\sim p \vee \sim q) \vee q$
$7$. Use the associative law:
$\sim p \vee (\sim q \vee q)$
$8$. Since $\sim q \vee q \equiv T$ (tautology):
$\sim p \vee T \equiv T$
Since the result is $T$,the statement is a tautology.
64
DifficultMCQ
The statement $p$ $\Rightarrow (q$ $\Rightarrow p)$ is logically equivalent to .....
A
$p$ $\Rightarrow (q$ $\Rightarrow p)$
B
$p \Rightarrow (p \vee q)$
C
$p \Rightarrow (q \wedge p)$
D
$p \Rightarrow (q \Leftrightarrow p)$

Solution

(B) We evaluate the truth value of the statement $p$ $\Rightarrow (q$ $\Rightarrow p)$:
$p$ $\Rightarrow (q$ $\Rightarrow p) \equiv \sim p \vee (q$ $\Rightarrow p)$
$\equiv \sim p \vee (\sim q \vee p)$
$\equiv (\sim p \vee p) \vee \sim q$
$\equiv T \vee \sim q \equiv T$
Now,we evaluate the options:
For option $B$: $p \Rightarrow (p \vee q) \equiv \sim p \vee (p \vee q)$
$\equiv (\sim p \vee p) \vee q$
$\equiv T \vee q \equiv T$
Since both the given statement and option $B$ are tautologies (always true),they are logically equivalent.
65
MediumMCQ
Which of the following statements is a contradiction?
A
$(p \wedge q) \wedge (\sim (p \vee q))$
B
$p \vee (\sim p \wedge q)$
C
$(p$ $\rightarrow q)$ $\rightarrow p$
D
$\sim p \vee \sim q$

Solution

(A) statement is a contradiction if its truth value is always false for all possible truth values of its components.
Let us evaluate the expression $(p \wedge q) \wedge (\sim (p \vee q))$.
Using De Morgan's Law,$\sim (p \vee q) \equiv (\sim p \wedge \sim q)$.
So,the expression becomes $(p \wedge q) \wedge (\sim p \wedge \sim q)$.
By associative and commutative laws,this is equivalent to $(p \wedge \sim p) \wedge (q \wedge \sim q)$.
Since $(p \wedge \sim p)$ is always false $(F)$ and $(q \wedge \sim q)$ is always false $(F)$,the entire expression is $F \wedge F$,which is always $F$.
Therefore,$(p \wedge q) \wedge (\sim (p \vee q))$ is a contradiction.
66
EasyMCQ
What is the statement $(p \wedge q) \rightarrow p$?
A
Tautology
B
Contradiction
C
Neither $(1)$ nor $(2)$
D
None of these

Solution

(A) The given statement is $(p \wedge q) \rightarrow p$.
Using the logical equivalence $(A \rightarrow B) \equiv (\neg A \vee B)$,we get:
$\neg (p \wedge q) \vee p$
Applying De Morgan's Law:
$(\neg p \vee \neg q) \vee p$
By the Associative and Commutative laws:
$(\neg p \vee p) \vee \neg q$
Since $(\neg p \vee p) \equiv T$ (Tautology):
$T \vee \neg q \equiv T$
Therefore,the statement is a tautology.
67
EasyMCQ
The negation of the statement "If a quadrilateral is a square,then it is a rhombus" is:
A
If a quadrilateral is not a square,then it is a rhombus.
B
If a quadrilateral is a square,then it is not a rhombus.
C
$A$ quadrilateral is a square and it is not a rhombus.
D
$A$ quadrilateral is not a square and it is a rhombus.

Solution

(C) Let $p$ and $q$ be the following statements:
$p$: $A$ quadrilateral is a square.
$q$: $A$ quadrilateral is a rhombus.
The given statement is $p \rightarrow q$.
The negation of a conditional statement $p \rightarrow q$ is given by $\sim(p \rightarrow q) \equiv p \wedge \sim q$.
Therefore,the negation is: "$A$ quadrilateral is a square and it is not a rhombus."
68
MediumMCQ
Let $S$ be a non-empty subset of $R$. Consider the statement $p : x \in S$ is a rational number such that $x > 0$. Which of the following is the negation of $p$?
A
$x \in S$ is a rational number such that $x \leq 0$.
B
$x \in S$ is not a rational number such that $x \leq 0$.
C
Every rational number $x \in S$ satisfies $x \leq 0$.
D
$x \in S$ and $x \leq 0 \Rightarrow x$ is not a rational number.

Solution

(A) The statement $p$ is defined as: $x \in S$ is a rational number such that $x > 0$.
The negation of a statement involving a condition $x > 0$ is $x \leq 0$.
Therefore,the negation $\sim p$ is: $x \in S$ is a rational number such that $x \leq 0$.
69
MediumMCQ
If the statement $(p \vee \sim r) \rightarrow (q \wedge r)$ is false and the statement $q$ is true,then what is the truth value of statement $p$?
A
True
B
False
C
Either true or false
D
None of these

Solution

(C) Given that the implication $(p \vee \sim r) \rightarrow (q \wedge r)$ is false.
An implication $A \rightarrow B$ is false only when $A$ is true and $B$ is false.
Therefore,$(p \vee \sim r)$ is true and $(q \wedge r)$ is false.
Since $(q \wedge r)$ is false and $q$ is true,$r$ must be false.
Now,substitute $r = \text{False}$ into $(p \vee \sim r) = \text{True}$.
$(p \vee \sim \text{False}) = \text{True} \Rightarrow (p \vee \text{True}) = \text{True}$.
Since $(p \vee \text{True})$ is always true regardless of the value of $p$,$p$ can be either true or false.
70
MediumMCQ
What is the dual statement of $p \wedge (\sim p) = c$?
A
$(\sim p) \wedge p = c$
B
$p \vee (\sim p) = c$
C
$p \wedge (\sim p) = t$
D
$p \vee (\sim p) = t$

Solution

(D) The dual of a statement is obtained by replacing $\wedge$ with $\vee$,$\vee$ with $\wedge$,$c$ with $t$,and $t$ with $c$ simultaneously.
Given the statement $p \wedge (\sim p) = c$,replacing the operators and constants gives the dual statement $p \vee (\sim p) = t$.
71
EasyMCQ
What is the dual statement of the statement "Rina is healthy and Mina is beautiful"?
A
Rina is beautiful and Mina is healthy.
B
Rina is beautiful or Mina is healthy.
C
Rina is healthy or Mina is beautiful.
D
None of these.

Solution

(C) The dual of a compound statement is obtained by replacing 'and' $(land)$ with 'or' $(lor)$ and vice versa.
Given statement: $p \land q$,where $p$ is "Rina is healthy" and $q$ is "Mina is beautiful".
The dual statement is $p \lor q$.
Therefore,the dual statement is "Rina is healthy or Mina is beautiful".
72
EasyMCQ
The contrapositive of the converse of $p \Rightarrow q$ is......
A
$\sim p \Rightarrow q$
B
$\sim p \Rightarrow \sim q$
C
$\sim q \Rightarrow \sim p$
D
$p \Rightarrow q$

Solution

(B) The converse of $p \Rightarrow q$ is $q \Rightarrow p$.
The contrapositive of $q \Rightarrow p$ is $\sim p \Rightarrow \sim q$.
Therefore,the contrapositive of the converse of $p \Rightarrow q$ is $\sim p \Rightarrow \sim q$.
73
MediumMCQ
Which of the following is not a statement?
A
Every set is an infinite set.
B
Every square is a rectangle.
C
The Sun is a star.
D
Close the window.

Solution

(D) statement in logic is a declarative sentence that is either true or false,but not both.
$(a)$ 'Every set is an infinite set' is a false statement.
$(b)$ 'Every square is a rectangle' is a true statement.
$(c)$ 'The Sun is a star' is a true statement.
$(d)$ 'Close the window' is an imperative sentence (a command),which cannot be classified as true or false.
Therefore,it is not a statement.
74
MediumMCQ
Which of the following statements is a tautology?
A
$(\sim p \vee \sim q) \vee (p \vee \sim q)$
B
$(\sim p \vee \sim q) \wedge (p \vee \sim q)$
C
$\sim p \wedge (\sim p \vee \sim q)$
D
$\sim q \wedge (\sim p \vee \sim q)$

Solution

(A) Consider the expression $(\sim p \vee \sim q) \vee (p \vee \sim q)$.
Using the associative and commutative laws of logic:
$\equiv (\sim p \vee p) \vee (\sim q \vee \sim q)$
$\equiv t \vee \sim q$
Since $t \vee \text{anything} \equiv t$,where $t$ is a tautology:
$\equiv t$
Therefore,$(\sim p \vee \sim q) \vee (p \vee \sim q)$ is a tautology.
75
MediumMCQ
$p :$ Suman is brilliant.
$q :$ Suman is rich.
$r :$ Suman is honest.
How can the negation of the statement "Suman is rich if and only if Suman is brilliant and dishonest" be represented?
A
$\sim q \Leftrightarrow \sim p \wedge r$
B
$\sim (p \wedge \sim r) \Leftrightarrow q$
C
$\sim p \wedge (q \Leftrightarrow \sim r)$
D
$\sim (q \Leftrightarrow (p \wedge \sim r))$

Solution

(D) Let the given statements be $p$,$q$,and $r$.
The statement "Suman is brilliant and dishonest" is represented as $(p \wedge \sim r)$.
The statement "Suman is rich if and only if Suman is brilliant and dishonest" is represented as $q \Leftrightarrow (p \wedge \sim r)$.
The negation of a statement $S$ is denoted by $\sim S$.
Therefore,the negation of the given statement is $\sim (q \Leftrightarrow (p \wedge \sim r))$.
76
MediumMCQ
If $S^*(p, q, r)$ is the dual of the compound statement $S(p, q, r)$ and $S(p, q, r) = \sim p \wedge [\sim (q \vee r)]$,then $S^*(\sim p, \sim q, \sim r)$ is equivalent to:
A
$S(p, q, r)$
B
$\sim S(\sim p, \sim q, \sim r)$
C
$\sim S(p, q, r)$
D
$S^*(p, q, r)$
77
MediumMCQ
The statement $(p \wedge \sim q) \wedge (\sim p \vee q)$ is which of the following?
A
Tautology
B
Contradiction
C
Neither a tautology nor a contradiction
D
None of these

Solution

(B) Given the statement: $(p \wedge \sim q) \wedge (\sim p \vee q)$
Using De Morgan's Law,we know that $\sim p \vee q \equiv \sim (p \wedge \sim q)$.
Substituting this into the expression,we get: $(p \wedge \sim q) \wedge \sim (p \wedge \sim q)$.
Let $X = (p \wedge \sim q)$. Then the expression becomes $X \wedge \sim X$.
By the law of contradiction (or complement law),$X \wedge \sim X \equiv c$,where $c$ is a contradiction.
78
MediumMCQ
Which of the following is not a tautology?
A
$(p$ $\Rightarrow q) \wedge p$ $\Rightarrow q$
B
$(p \vee q) \wedge (\sim p) \Rightarrow q$
C
$(p$ $\Rightarrow q) \wedge (q$ $\Rightarrow r)$ $\Rightarrow (p$ $\Rightarrow r)$
D
None of these

Solution

(D) statement is a tautology if its truth value is always $T$ (True) for all possible truth values of its components.
$1$. For $(p$ $\Rightarrow q) \wedge p$ $\Rightarrow q$:
$(\sim p \vee q) \wedge p$ $\Rightarrow q = ((\sim p \wedge p) \vee (q \wedge p))$ $\Rightarrow q = (F \vee (p \wedge q))$ $\Rightarrow q = (p \wedge q)$ $\Rightarrow q = \sim (p \wedge q) \vee q = \sim p \vee \sim q \vee q = \sim p \vee T = T$.
$2$. For $(p \vee q) \wedge (\sim p) \Rightarrow q$:
$((p \wedge \sim p) \vee (q \wedge \sim p))$ $\Rightarrow q = (F \vee (q \wedge \sim p))$ $\Rightarrow q = (q \wedge \sim p)$ $\Rightarrow q = \sim (q \wedge \sim p) \vee q = \sim q \vee p \vee q = T \vee p = T$.
$3$. For $(p$ $\Rightarrow q) \wedge (q$ $\Rightarrow r)$ $\Rightarrow (p$ $\Rightarrow r)$:
This is the standard law of hypothetical syllogism,which is a tautology.
Since all the given statements are tautologies,the correct answer is 'None of these'.
79
MediumMCQ
$\sim (p \Leftrightarrow q) = \dots$
A
$(p$ $\Rightarrow q) \wedge (q$ $\Rightarrow p)$
B
None of these
C
$(\sim p \wedge q) \vee (p \wedge \sim q)$
D
$(p \wedge \sim q) \wedge (\sim p \wedge q)$

Solution

(C) We know that $p \Leftrightarrow q$ is equivalent to $(p$ $\Rightarrow q) \wedge (q$ $\Rightarrow p)$.
Therefore,$\sim (p \Leftrightarrow q) = \sim ((p$ $\Rightarrow q) \wedge (q$ $\Rightarrow p))$.
Using De Morgan's Law,$\sim (A \wedge B) = \sim A \vee \sim B$,we get:
$\sim (p$ $\Rightarrow q) \vee \sim (q$ $\Rightarrow p)$.
Since $\sim (p \Rightarrow q) \equiv p \wedge \sim q$,the expression becomes:
$(p \wedge \sim q) \vee (q \wedge \sim p)$.
80
MediumMCQ
What is the identity element for the sum (disjunction) in Boolean algebra of logical statements?
A
$\sim t$
B
None of these
C
$\sim c$
D
$t$

Solution

(A) In Boolean algebra,the disjunction (sum) operation is denoted by $\vee$.
For any logical statement $p$,the identity element $c$ for disjunction must satisfy $p \vee c = p$.
Since $p \vee F = p$ (where $F$ is a contradiction/false statement),the identity element for disjunction is the contradiction $F$.
In the context of Boolean algebra,the contradiction is denoted as $c$ or $\sim t$ (where $t$ is a tautology).
Therefore,the identity element is $\sim t$.
81
EasyMCQ
The contrapositive of the statement "If $x \in A$ or $x \in B$,then $x \in A \cup B$" is:
A
If $x \notin A \cup B$,then $x \in A$ and $x \notin B$
B
If $x \notin A \cup B$,then $x \notin A$ and $x \in B$
C
If $x \notin A \cup B$,then $x \notin A$ and $x \notin B$
D
None of these

Solution

(C) Let $p: x \in A$,$q: x \in B$,and $r: x \in A \cup B$.
The given statement is $p \vee q \Rightarrow r$.
The contrapositive of an implication $P \Rightarrow Q$ is $\sim Q \Rightarrow \sim P$.
Here,the contrapositive is $\sim r \Rightarrow \sim (p \vee q)$.
Using De Morgan's Law,$\sim (p \vee q) \equiv (\sim p) \wedge (\sim q)$.
Thus,the contrapositive is: If $x \notin A \cup B$,then $x \notin A$ and $x \notin B$.
82
MediumMCQ
What is the identity element for the conjunction $(AND)$ operation in Boolean algebra of logical statements?
A
$\sim c$
B
$\sim t$
C
$c$
D
None of these

Solution

(A) In the Boolean algebra of logical statements,the conjunction operation is denoted by $\wedge$.
We know that for any statement $p$,$p \wedge t = p = t \wedge p$,where $t$ represents a tautology.
Therefore,$t$ is the identity element for the conjunction operation.
Since $t = \sim c$ (where $c$ is a contradiction),the identity element is $\sim c$.
83
MediumMCQ
Which of the following is a mathematical statement?
A
$I$ am a lion.
B
Logic is an interesting subject.
C
$A$ triangle is a circle and $10$ is a prime number.
D
None of the above.

Solution

(C) mathematical statement is a declarative sentence that is either true or false,but not both.
$1$. "$I$ am a lion" is not a statement because its truth value depends on the speaker.
$2$. "Logic is an interesting subject" is not a statement because "interesting" is subjective.
$3$. "$A$ triangle is a circle and $10$ is a prime number" is a compound statement formed by two components connected by "and". Since both components are false (a triangle is not a circle,and $10$ is not a prime number),the compound statement is false. Therefore,it is a valid mathematical statement.
84
MediumMCQ
For statements $p$ and $q$,which of the following is true?
A
$p \wedge q$ is true when at least one of $p$ or $q$ is true.
B
$p \rightarrow q$ is true when $p$ is true and $q$ is false.
C
$p \Leftrightarrow q$ is true only when both $p$ and $q$ are true.
D
$\sim (p \vee q)$ is true only when both $p$ and $q$ are false.

Solution

(D) $1$. $p \wedge q$ is true only when both $p$ and $q$ are true. Thus,option $A$ is incorrect.
$2$. $p \rightarrow q$ is false only when $p$ is true and $q$ is false. Thus,option $B$ is incorrect.
$3$. $p \Leftrightarrow q$ is true when both $p$ and $q$ have the same truth value (both true or both false). Thus,option $C$ is incorrect.
$4$. $\sim (p \vee q)$ is true only when $(p \vee q)$ is false,which occurs only when both $p$ and $q$ are false. Thus,option $D$ is correct.
85
MediumMCQ
For any three simple statements $p, q, r$,the statement $(p \wedge q) \vee (q \wedge r)$ is true if and only if:
A
$p$ and $r$ are true and $q$ is false.
B
$p$ and $r$ are false and $q$ is true.
C
$p, q, r$ are all false.
D
$q$ and $r$ are true and $p$ is false.

Solution

(D) The statement is $(p \wedge q) \vee (q \wedge r)$.
By distributive law,this is equivalent to $q \wedge (p \vee r)$.
For this statement to be true,both $q$ must be true $AND$ $(p \vee r)$ must be true.
This means $q$ is true,and at least one of $p$ or $r$ is true.
Looking at the options,if $q$ and $r$ are true and $p$ is false,then $(p \vee r)$ is true,so $q \wedge (p \vee r)$ is true.
Thus,option $D$ is a valid condition for the statement to be true.
86
DifficultMCQ
The negation of the statement $p \rightarrow (q \wedge r)$ is equal to .........
A
$\sim p \rightarrow \sim (q \wedge r)$
B
$\sim p \vee (q \wedge r)$
C
$(q \wedge r) \rightarrow p$
D
$p \wedge (\sim q \vee \sim r)$

Solution

(D) The negation of a conditional statement $p \rightarrow q$ is given by $\sim (p \rightarrow q) \equiv p \wedge \sim q$.
Applying this to the given statement $p \rightarrow (q \wedge r)$:
$\sim (p \rightarrow (q \wedge r)) \equiv p \wedge \sim (q \wedge r)$.
Using De Morgan's Law,$\sim (q \wedge r) \equiv \sim q \vee \sim r$.
Therefore,the negation is $p \wedge (\sim q \vee \sim r)$.
87
MediumMCQ
The statement $p$ $\rightarrow (q$ $\rightarrow p)$ is equivalent to
A
$p$ $\rightarrow (p$ $\rightarrow q)$
B
$p \rightarrow (q \vee p)$
C
$p \rightarrow (q \wedge p)$
D
$p \rightarrow (p \leftrightarrow q)$

Solution

(B) The given statement is $p$ $\rightarrow (q$ $\rightarrow p)$.
Using the logical equivalence $A \rightarrow B \equiv \sim A \vee B$,we have:
$p$ $\rightarrow (q$ $\rightarrow p) \equiv \sim p \vee (\sim q \vee p)$.
By the associative and commutative laws,this is equivalent to $(\sim p \vee p) \vee \sim q$,which simplifies to $T \vee \sim q = T$ (a tautology).
Now,let us check option $B$: $p \rightarrow (q \vee p) \equiv \sim p \vee (q \vee p) \equiv (\sim p \vee p) \vee q \equiv T \vee q = T$.
Since both expressions are tautologies,the statement $p$ $\rightarrow (q$ $\rightarrow p)$ is equivalent to $p \rightarrow (q \vee p)$.
88
DifficultMCQ
Statement $-1 :$ $\sim (p \leftrightarrow \sim q)$ is equivalent to $p \leftrightarrow q$.
Statement $-2 :$ $\sim (p \leftrightarrow \sim q)$ is a tautology.
A
Statement $-1$ is true,Statement $-2$ is true; Statement $-2$ is a correct explanation for Statement $-1$.
B
Statement $-1$ is true,Statement $-2$ is true; Statement $-2$ is not a correct explanation for Statement $-1$.
C
Statement $-1$ is false,Statement $-2$ is true.
D
Statement $-1$ is true,Statement $-2$ is false.

Solution

(D) To evaluate Statement $-1$,we analyze the truth table for $\sim (p \leftrightarrow \sim q)$.
Recall that $(p \leftrightarrow \sim q)$ is true when $p$ and $\sim q$ have the same truth value,which means $p$ and $q$ have opposite truth values.
Thus,$(p \leftrightarrow \sim q)$ is equivalent to $\sim (p \leftrightarrow q)$.
Therefore,$\sim (p \leftrightarrow \sim q)$ is equivalent to $\sim (\sim (p \leftrightarrow q))$,which simplifies to $(p \leftrightarrow q)$.
So,Statement $-1$ is true.
To evaluate Statement $-2$,we check if $\sim (p \leftrightarrow \sim q)$ is a tautology.
Since $\sim (p \leftrightarrow \sim q) \equiv (p \leftrightarrow q)$,and $(p \leftrightarrow q)$ is not true for all values of $p$ and $q$ (it is false when $p$ and $q$ have different truth values),the expression is not a tautology.
Thus,Statement $-2$ is false.
89
EasyMCQ
Consider the following statements:
$P :$ Suman is brilliant
$Q :$ Suman is rich
$R :$ Suman is honest
The negation of the statement "Suman is brilliant and dishonest if and only if Suman is rich" can be expressed as:
A
$\sim (Q \leftrightarrow (P \wedge \sim R))$
B
$\sim Q \leftrightarrow (\sim P \wedge R)$
C
$\sim (P \wedge \sim R) \leftrightarrow Q$
D
$\sim P \wedge (Q \leftrightarrow \sim R)$

Solution

(A) Let the given statements be:
$P :$ Suman is brilliant
$Q :$ Suman is rich
$R :$ Suman is honest
The statement "Suman is brilliant and dishonest" is represented as $(P \wedge \sim R)$.
The statement "Suman is brilliant and dishonest if and only if Suman is rich" is represented as $(P \wedge \sim R) \leftrightarrow Q$.
Since the biconditional operator is commutative,this is equivalent to $Q \leftrightarrow (P \wedge \sim R)$.
The negation of a statement $S$ is denoted by $\sim S$.
Therefore,the negation of the given statement is $\sim (Q \leftrightarrow (P \wedge \sim R))$.
90
EasyMCQ
The negation of the statement "If $I$ become a teacher,then $I$ will open a school" is
A
$I$ will become a teacher and $I$ will not open a school.
B
Either $I$ will not become a teacher or $I$ will not open a school.
C
Neither $I$ will become a teacher nor $I$ will open a school.
D
$I$ will not become a teacher or $I$ will open a school.

Solution

(A) Let $p$ be the statement "$I$ become a teacher" and $q$ be the statement "$I$ will open a school".
The given statement is in the form of an implication: $p \implies q$.
The negation of an implication $p \implies q$ is given by $\sim(p \implies q) \equiv p \land \sim q$.
Here,$p$ is "$I$ become a teacher" and $\sim q$ is "$I$ will not open a school".
Therefore,the negation is "$I$ will become a teacher and $I$ will not open a school".
91
MediumMCQ
Consider
Statement-$1$: $(p \wedge \sim q) \wedge (\sim p \wedge q)$ is a fallacy.
Statement-$2$: $(p \rightarrow q) \leftrightarrow (\sim q \rightarrow \sim p)$ is a tautology.
A
Statement-$1$ is false,Statement-$2$ is true
B
Statement-$1$ is true,Statement-$2$ is false
C
Statement-$1$ is true,Statement-$2$ is true; Statement-$2$ is a correct explanation for Statement-$1$
D
Statement-$1$ is true,Statement-$2$ is true; Statement-$2$ is not a correct explanation for Statement-$1$

Solution

(D) Statement-$2$: $(p \rightarrow q) \leftrightarrow (\sim q \rightarrow \sim p)$
Since $(\sim q \rightarrow \sim p)$ is the contrapositive of $(p \rightarrow q)$,they have the same truth values.
Thus,$(p \rightarrow q) \leftrightarrow (p \rightarrow q)$ is always true,which means it is a tautology.
So,Statement-$2$ is true.
Statement-$1$: $(p \wedge \sim q) \wedge (\sim p \wedge q)$
Using the associative and commutative laws:
$= (p \wedge \sim p) \wedge (\sim q \wedge q)$
$= F \wedge F = F$
Since the result is always false,it is a fallacy.
So,Statement-$1$ is true.
Both statements are true,and Statement-$2$ is not an explanation for Statement-$1$.
92
MediumMCQ
The statement $\sim(p \leftrightarrow \sim q)$ is :
A
a tautology
B
a fallacy
C
equivalent to $(p \leftrightarrow q)$
D
equivalent to $\sim p \leftrightarrow q$

Solution

(C) To determine the nature of the statement $\sim(p \leftrightarrow \sim q)$,we construct a truth table:
$1$. The biconditional $p \leftrightarrow \sim q$ is true when $p$ and $\sim q$ have the same truth value.
$2$. The negation $\sim(p \leftrightarrow \sim q)$ is true when $p \leftrightarrow \sim q$ is false.
Truth Table:
$p$ | $q$ | $\sim q$ | $p \leftrightarrow \sim q$ | $\sim(p \leftrightarrow \sim q)$
$T$ | $T$ | $F$ | $F$ | $T$
$T$ | $F$ | $T$ | $T$ | $F$
$F$ | $T$ | $F$ | $T$ | $F$
$F$ | $F$ | $T$ | $F$ | $T$
Comparing this to $p \leftrightarrow q$:
$p$ | $q$ | $p \leftrightarrow q$
$T$ | $T$ | $T$
$T$ | $F$ | $F$
$F$ | $T$ | $F$
$F$ | $F$ | $T$
Since the truth values of $\sim(p \leftrightarrow \sim q)$ and $(p \leftrightarrow q)$ are identical for all combinations of $p$ and $q$,the statement is equivalent to $(p \leftrightarrow q)$.
93
MediumMCQ
The negation of $\sim s \vee (\sim r \wedge s)$ is equivalent to :
A
$s \wedge r$
B
$s \wedge \sim r$
C
$s \wedge (r \wedge \sim s)$
D
$s \vee (r \vee \sim s)$

Solution

(A) Let the given expression be $P = \sim s \vee (\sim r \wedge s)$.
We want to find the negation $\sim P = \sim (\sim s \vee (\sim r \wedge s))$.
Using De Morgan's Law,$\sim (A \vee B) = \sim A \wedge \sim B$,we get:
$\sim P = \sim (\sim s) \wedge \sim (\sim r \wedge s)$.
This simplifies to $s \wedge (\sim (\sim r) \vee \sim s)$ by applying De Morgan's Law again.
So,$\sim P = s \wedge (r \vee \sim s)$.
Using the Distributive Law,$A \wedge (B \vee C) = (A \wedge B) \vee (A \wedge C)$,we get:
$\sim P = (s \wedge r) \vee (s \wedge \sim s)$.
Since $(s \wedge \sim s)$ is a contradiction (False),we have:
$\sim P = (s \wedge r) \vee F = s \wedge r$.
94
MediumMCQ
The Boolean expression $(p \wedge \sim q) \vee q \vee (\sim p \wedge q)$ is equivalent to:
A
$p \vee q$
B
$p \vee \sim q$
C
$\sim p \wedge q$
D
$p \wedge q$

Solution

(A) Let the expression be $E = (p \wedge \sim q) \vee q \vee (\sim p \wedge q)$.
Using the distributive law,$(p \wedge \sim q) \vee q \equiv (p \vee q) \wedge (\sim q \vee q)$.
Since $(\sim q \vee q) \equiv T$ (Tautology),we have $(p \vee q) \wedge T \equiv p \vee q$.
Now,substitute this back into the expression:
$E \equiv (p \vee q) \vee (\sim p \wedge q)$.
Using the distributive law again,$(p \vee q) \vee (\sim p \wedge q) \equiv (p \vee q \vee \sim p) \wedge (p \vee q \vee q)$.
Since $(p \vee \sim p) \equiv T$,we have $(T \vee q) \wedge (p \vee q)$.
Since $(T \vee q) \equiv T$,we have $T \wedge (p \vee q) \equiv p \vee q$.
Thus,the expression is equivalent to $p \vee q$.
95
DifficultMCQ
The following statement $(p \to q) \to [(\sim p \to q) \to q]$ is
A
a fallacy
B
a tautology
C
equivalent to $\sim p \to q$
D
equivalent to $p \to \sim q$

Solution

(B) To determine the nature of the statement $(p \to q) \to [(\sim p \to q) \to q]$,we construct a truth table:
$p$$q$$\sim p$$p \to q$$\sim p \to q$$(\sim p \to q) \to q$$(p \to q) \to [(\sim p \to q) \to q]$
$T$$T$$F$$T$$T$$T$$T$
$T$$F$$F$$F$$T$$F$$T$
$F$$T$$T$$T$$T$$T$$T$
$F$$F$$T$$T$$F$$T$$T$

Since the final column contains only $T$ (True) values for all possible truth values of $p$ and $q$,the statement is a tautology.
96
MediumMCQ
The Boolean expression $\sim(p \vee q) \vee (\sim p \wedge q)$ is equivalent to:
A
$p$
B
$q$
C
$\sim q$
D
$\sim p$

Solution

(D) Using De Morgan's Law,$\sim(p \vee q) \equiv (\sim p \wedge \sim q)$.
Substituting this into the expression:
$(\sim p \wedge \sim q) \vee (\sim p \wedge q)$
Applying the Distributive Law:
$\sim p \wedge (\sim q \vee q)$
Since $(\sim q \vee q) \equiv T$ (Tautology):
$\sim p \wedge T \equiv \sim p$.
97
MediumMCQ
Negation of the compound proposition: "If the examination is difficult,then $I$ shall pass if $I$ study hard."
A
The examination is difficult and $I$ study hard and $I$ shall pass.
B
The examination is difficult and $I$ study hard but $I$ shall not pass.
C
The examination is not difficult and $I$ study hard and $I$ shall pass.
D
None of these.

Solution

(B) Let $p$ be the statement: "The examination is difficult".
Let $q$ be the statement: "$I$ shall pass".
Let $r$ be the statement: "$I$ study hard".
The given proposition is: $p \Rightarrow (r \Rightarrow q)$.
We know that the negation of an implication $A \Rightarrow B$ is $A \wedge \sim B$.
Therefore,$\sim(p \Rightarrow (r \Rightarrow q)) \equiv p \wedge \sim(r \Rightarrow q)$.
Since $\sim(r \Rightarrow q) \equiv r \wedge \sim q$,the negation is $p \wedge (r \wedge \sim q)$.
This translates to: "The examination is difficult and $I$ study hard but $I$ shall not pass."
98
MediumMCQ
If $p$ and $q$ are simple propositions,then $p \Rightarrow q$ is false when
A
$p$ is true and $q$ is true
B
$p$ is false and $q$ is true
C
$p$ is true and $q$ is false
D
Both $p$ and $q$ are false

Solution

(C) The implication $p \Rightarrow q$ is a logical connective that is false only in one specific case.
According to the truth table for implication:
- If $p$ is true and $q$ is true,$p \Rightarrow q$ is true.
- If $p$ is true and $q$ is false,$p \Rightarrow q$ is false.
- If $p$ is false and $q$ is true,$p \Rightarrow q$ is true.
- If $p$ is false and $q$ is false,$p \Rightarrow q$ is true.
Therefore,$p \Rightarrow q$ is false only when $p$ is true and $q$ is false.
99
MediumMCQ
If $p$ and $q$ are simple propositions,then $p \Leftrightarrow \sim q$ is true when
A
$p$ is true and $q$ is true
B
Both $p$ and $q$ are false
C
$p$ is false and $q$ is true
D
None of these

Solution

(C) The biconditional statement $p \Leftrightarrow \sim q$ is true if and only if both $p$ and $\sim q$ have the same truth value.
Case $1$: $p$ is true and $\sim q$ is true. This implies $p$ is true and $q$ is false.
Case $2$: $p$ is false and $\sim q$ is false. This implies $p$ is false and $q$ is true.
Comparing this with the given options,option $C$ ($p$ is false and $q$ is true) makes the statement true.

Mathematical Reasoning — Mathematical logic · Frequently Asked Questions

1Are these Mathematical Reasoning questions useful for JEE and NEET?

Yes. All questions in this section are mapped to JEE Main and NEET exam patterns. Previous year questions from JEE Main, NEET, GUJCET and state-level exams are included with full solutions.

2Can I switch to Hindi or Gujarati for these questions?

Yes. Use the language tabs in the hero section or the sidebar to view the same questions and solutions in English, Hindi or Gujarati.

3How do I generate a question paper from this subtopic?

Use the Vedclass Exam Paper Generator — select the chapter and subtopic, set difficulty, and generate Sets A, B, C, D automatically. First 3 chapters of every subject are free.

Vedclass Products

For Students

Vedclass Test Series

Mock tests in real JEE/NEET style with performance analysis. 5-day free trial.

Start Free Trial
For Teachers

Exam Paper Generator

Generate Set A/B/C/D papers from this chapter in 2 minutes. 3 chapters free.

Try Free
For Institutes

Online Exam Module

Live online exams with unlimited students, 360° analytics & white-label branding.

See Demo
For Teachers & Institutes

Generate a Mathematical Reasoning Exam Paper in 2 Minutes

Select subtopic & difficulty — Sets A, B, C, D auto-generated with No Repeat logic.

First 3 chapters of every subject are free — no payment required.