in Mathematical Logic retagged by
8,903 views
29 votes
29 votes

The statement $\left ( ¬p \right ) \Rightarrow \left ( ¬q \right )$ is logically equivalent to which of the statements below?

  1. $p \Rightarrow q$
  2. $q \Rightarrow p$
  3. $\left ( ¬q \right ) \vee p$
  4. $\left ( ¬p \right ) \vee q$
  1. I only
  2. I and IV only
  3. II only
  4. II and III only
in Mathematical Logic retagged by
8.9k views

8 Answers

32 votes
32 votes
Best answer
$(\neg P\to \neg Q)$ can also be written as $(P \vee \neg Q),$ so statement $3$ is correct.

Now taking the contrapositive of $(\neg P\to \neg Q)$, we get $(Q\to P)$ hence statement $2$ is correct.

So, the answer is OPTION (D).
edited by

2 Comments

i also think the same...
0
0

Ref:

6
6
11 votes
11 votes
Given statement : ~p $\Rightarrow$ ~q

= ~(~p) $\vee$ ~q

= p $\vee$ ~q

= ~q $\vee$ p

= q $\Rightarrow$ p

$\therefore$ D should be answer.
4 votes
4 votes

Option D.

$(\sim p) \Rightarrow (\sim q)$

$\sim (\sim p) \vee (\sim q)$

$p \vee (\sim q)$

$ (\sim q) \vee p$ ----------------> III is True

$q \Rightarrow p$   -----------------> II is True

4 votes
4 votes

we know that p→ q   is equivalent to ~p v q

similarly ~p→~q will be equivalent to p v ~q (III)

and implication is equivalent to contrapositive ,  ~p→~q   will be equivalent to q→ p (II)

answer: Both II & III ,OPTION D

Answer:

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true