İki yönlü koşullu önermeyi açıklayarak, iki yönlü koşullu önerme ile koşullu önermeler arasındaki ilişkiyi örneklerle anlatmaktadır.p ise q önermesi ile bu önermenin karşıtı olan q ise p önermesinin ve bağlacı ile bağlanması ile elde edilen bileşik önermeye “iki yönlü koşullu önerme” denir. Bu önerme, “p q” ile gösterilir. p ancak ve ancak q” şeklinde okunur. Kısaca ( p q)˄(q p) ≡ p q olmaktadır.