متعاكس (contrapositive)

متعاكس تسمى العبارة المنطقية أ → ب معكوس العبارة أ ← ب ويرمَّز بـ "¬ ب" للنفي المنطقي وبِ "¬ أ" للقيمة المنطقية.