Converse: The
proposition q→p is said to be the converse of implication p→q.
Inverse: The
proposition ¬p→¬q is said to be the inverse of implication p→q.
Contrapositive: The
proposition ¬q→¬p is said to be the contrapositive of implication p→q.
No comments:
Post a Comment