`[(~p) rArr p] ^^ [p rArr (~p)]` is

p rArr p vv q is

The statement (p rarr sim p) ^^ (sim p rarr p) is

(~q) ^^ p ^^ (p rArr q) is

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

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

p ^^ (~q) rArr p is

If p and q are two statements, then (p rArr q) iff (~q rArr ~ p) is

If p and q are two statements, then (p rArr q) hArr (~q rArr ~p) is a

(p rArr q) rarr [(r vv p) rArr (r vv q)] is