The contrapositive of the statement pattern $[p \lor (p \to q)] \to (p \land \sim q)$ is

  • A
    $(p \land \sim q) \to [p \land (p \to q)]$
  • B
    $( \sim p \lor q) \to [ \sim p \land ( \sim p \lor \sim q)]$
  • C
    $( \sim p \lor q) \land [ \sim p \lor (p \land \sim q)]$
  • D
    $( \sim p \lor q) \to [ \sim p \lor ( \sim p \lor q)]$

Explore More

Similar Questions

Consider the following statements:
$r$: If $p \to q$ is false then $p \lor q$ is false.
$s$: If $p \leftrightarrow q$ is false then $p \lor q$ is false.
The truth values of $r \to s$ and $s \to r$ are respectively . . . . . .

The output of the following circuit is

The statement $p$ $\Rightarrow (q$ $\Rightarrow p)$ is logically equivalent to .....

Difficult
View Solution

$p \Rightarrow q$ can also be written as

Given the following two statements:
$(S_{1}): (q \vee p) \rightarrow (p \leftrightarrow \sim q)$ is a tautology.
$(S_{2}): \sim q \wedge (\sim p \leftrightarrow q)$ is a fallacy.
Then:

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 exam papers from 7.5L+ questions 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