İki koşullu bir ifadeyi bir koşullu ifadeyle karşılaştırın ve karşılaştırın.
Koşullu bir ifade, "eğer P ise Q" şeklinde ifade edilebilen bir ifadedir; burada P bir hipotezdir ve Q bir sonuçtur. İki koşullu bir ifade, "P olarak ifade edilebilen bir ifadedir. ancak ve ancak Q" ise, burada P ve Q her ikisi de hipotez veya her ikisi de sonuçtur. Fark şu ki, koşullu bir ifadede hipotez doğru olabilir ancak sonuç yanlış olabilir, oysa iki koşullu bir ifadede hipotezler ve sonuçlar İfadenin doğru olması için her ikisinin de doğru olması gerekir.