Question

Given a conditional statement p → q, which statement is logically equivalent?

Answer 1

(p -> q) <=> ( (~p) v q )

~p -> ~q <=> p v (~q)  //not equivalent
~q -> ~p <=> (~(~q) v ~p) <=> ((~p) v q)  //equivalent
q -> p <=> q v (~p)  //not equivalent
p -> ~q <=> p v q  //not equivalent

answer: ~q -> ~p  logically equivalent to p -> q

Answer 2

Hello,
p=>q  is equivalent to ~q → ~p


p-------q-------p=>q--~q ----- ~p----~q → ~p
0-------0-------1-------1 ------- 1------- 1
0-------1-------1-------0-------  1------- 1
1-------0-------0-------1-------  0-------0
1-------1-------1-------0-------  0-------1

Column 3= column 6 ==>equivalent


Answer B