STATEMENT-1 : (p rArr q) hArr (~q rArr~p...

STATEMENT-1 : `(p rArr q) hArr (~q rArr~p)`
and
STATEMENT-2 : `p rArr q` is logically equivalent to `~q rArr ~p`

A

Tautology and contradiction

B

a contradiction

C

neither a tautology nor a contradiction

D

cannot come to any conclusion

Verified by Experts

The correct Answer is:

C

Similar Questions

Explore conceptually related problems

p to q is logically equivalent to

p ^^ ( q ^^ r) is logically equivalent to

STATEMENT-1 : (phArrq)=~ p hArr q and STATEMENT-2 : (phArrq) =~p hArr ~q

STATEMENT-1 : ~(phArrq)=~phArrq=phArr~q and STATEMENT-2 : (phArrq)hArrr=p hArr(q hArrr)

STATEMENT-1 : ~(prArrq)=p^^~q and STATEMENT-2 : p rArr q = ~p vvq

The logically equivalent proposition of p harr q is

The logically equvalent proposition of p harr q is

STATEMENT-1 : The converse of p rArr q " is " q rArr p and STATEMENT-2 : The inverse of p rArr q " is " ~p rArr ~q

STATEMENT-1 : (p rArr ~q) ^^ (~q rArr q) is a contradication and STATEMENT-2 : The inverse of p rArr ~p " is " ~p rArr p