माना $\Delta, \nabla \in\{\wedge, \vee\}$ इस प्रकार है कि $(\mathrm{p} \rightarrow \mathrm{q}) \Delta(\mathrm{p} \dot{\nabla} \mathrm{q})$ एक पुनरूक्ति है, तो

यदि $p \to ( \sim p\,\, \vee \, \sim q)$ असत्य है, तो $p$ तथा $q$ के क्रमशः सत्य मान है

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

$(p \vee q) \Rightarrow r$ का प्रतिपरिवतर्तित (Contrapositive) है

$p \Rightarrow q$ को ऐसे भी लिख सकते हैं