मोडस टोलेंस: क्या p→q, ¬q ⊨ ¬p वैध है?

यदि p → q सत्य है और q असत्य है, तो p भी असत्य होगा: जो p को सत्य बनाता, वह q को भी सत्य बनाता। परिणाम का निषेध पूर्ववर्ती का निषेध कर देता है।