कॉन्ट्रापोज़िशन: क्या p→q ⊨ ¬q→¬p वैध है?

p → q और ¬q → ¬p एक ही बात कहते हैं: पूर्ववर्ती सत्य और परिणाम असत्य एक साथ नहीं हो सकते। संकेतवाक्य अपने प्रतिधनात्मक के बराबर है।