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