द्विशर्त निष्कासन: क्या p↔q, p ⊨ q वैध है?

p ↔ q के दोनों पक्ष सदा एक ही सत्य-मान रखते हैं, इसलिए p से q मिलता है और q से p। द्विशर्त दोनों दिशाओं में काम करता है।