` ~ ( ~p) harr p ` is

A

a tautology

B

a contradiction

C

neither a contradiction nor a tautology

D

none of these

Verified by Experts

The correct Answer is:

A

Similar Questions

Explore conceptually related problems

If p: Sita gets promotion, q: Sita is transferred to Pune. The verbal form of ~p harr q is written as

The proposition (p to q ) harr (~p to ~q) is a

Statements -1 : ~(pharr~q) is equivalent to p harr q Statement-2: (~ p harr ~q) is a tautology.

The statement ~(p harr ~q) is

If p and q have truth value 'F', then the truth values of (~ p vv q) harr ~(p ^^ q) and p harr (p to ~q) are respectively

~(p harr q) is equivalent to

Negation of p harr q is

The proposition (p to ~p) ^^ (~p to p) is a