biconditional

çift yönlü işaretiyle <--> belirtilen mantıksal kıyaslamadır. şöyleki;
ilk önerme doğru ve ikinci önerme doğru olduğu zaman sonuç doğru, aynı şekilde ilk önerme yanlış ve ikinci önerme de yanlış iken sonuç doğru olur. diğer durumlarda yanlış.

p: Kahvaltı yaparım.
q: Öğlen yemeği yemem.
p <--> q : Sadece ve sadece öğlen yemeği yemezsem kahvaltı yaparım.(alternatif olarak
sadece ve sadece kahvaltı yaparsam öğlen yemeği yemem.)

olarak ifade edilir.