कौनसा वेन आरेख कथन“ सभी मातायें औरत हैं” की सत्यता को दर्शाता है। ($M$ सभी माताओं का समुच्चय, $W$ सभी औरतों का समुच्चय)

यदि $p$ एवं $q$ सामान्य कथन है, तब $p \Leftrightarrow$ $\sim \,q$ सत्य है जब

“पेरिस फ्राँस में एवं लंदन इंग्लैंड में है” की नकारात्मकता है

निम्न कथनों पर विचार करें

$P 1: \sim( p \rightarrow \sim q )$

$P 2:( p \wedge \sim q )((\sim p ) \wedge q )$

यदि कथन $p \rightarrow((\sim p) \wedge q)$ असत्य है तो

कथन $(\sim p ) \vee( p \wedge \sim q )$ समतुल्य है

$(p\; \wedge \sim q) \wedge (\sim p \vee q)$ है