Compare with logical implication and its variants viz. inverse, converse and contrapositive.