The logical statement (~ q implies ~p ) ...

The logical statement `(~ q implies ~p ) vv (~ q implies p)` is equivalent to :

A

Tautology and contradiction

B

Neither tautology nor contradication

C

Contradiction

D

Tautology

Verified by Experts

The correct Answer is:

C

Similar Questions

Explore conceptually related problems

The logical statement (p to q) vv (q to ~ p) is :

If p and q are logical statements, then p rArr (~q rArr p) is equivalent to

The statement p vv q is

The logical statement [~(~pvvq)vv(p^^r)]^^(~q^^r) is equivalent to (a) (~p^^~q)^^r (b) ~p vv r (c) (p^^r)^^~q (d) (p^^~q)vvr

~(pvvq)vv(~p^^q) is equivalent to

The statement ~(p ^^ q) vv q

p to q is logically equivalent to

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

If p and q are two logical statements, then ~(pvvq)rarr(prarrq) is equivalent to

The statement p to(q to p) is equivalent to