„Bikondicionális” változatai közötti eltérés

# '''"<u>Csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni."''' vagy '''"János <u>csak akkor</u> fogja megenni a gyümölcsöt, ha az alma."''' (ekvivalens a '''"<u>Ha</u> János megeszik egy gyümölcsöt, akkor az egy alma."''' vagy '''"János megeszi a gyümölcsöt ''→'' a gyümölcs egy alma"''' állításokkal)

#:Ez azt állítja, hogy az egyetlen gyümölcs, amit János megeszik, az az alma. Viszont azt nem rögzíti, hogy Jánosnak muszáj az almát megennie, amennyiben találkozik eggyel. Magyarul a ténynek, hogy János gyümölcsöt eszik <i>kötelező</i> velejárója az, hogy az a bizonyos gyümölcs alma legyen.

#:Ez az állítás azonban tisztán és világosan azt közli, hogy János mindegyik, és csak olyan gyümölcsöt fogja megenni, amelyek almák, tehát nem utasít el egy almát sem, valamint más gyümölcsöt nem eszik az almán kívül. Ezért az alma jelenléte mind <i>elegendő</i>, mind <i>kötelező</i> feltétele a gyümölcs evéséhez.