Logic
100

p -> q

conditional

200

q -> p

converse

300

~p -> ~q

inverse

400

~q -> ~p

contrapositive

M
e
n
u