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

:„''iff''”

 

# '''"<u>Ha</u> a gyümölcs egy alma, János megeszi."''' vagy '''"János megeszi a gyümölcsöt <u>ha</u> az egy alma."''' (ekvivalens az '''"<u>Csak ha</u> eszi meg János a gyümölcsöt, akkor alma;"''' vagy '''"János megeszi az gyümölcsöt ''←'' gyümölcs egy alma"''' állításokkal)

#:Ez csupán azt állítja, hogy János a gyümölcsök közül mindenképpen enni fog almát. Viszont annak a lehetőségét nem zárja ki, hogy János ehet banánt, kiwit, vagy bármilyen más gyümölcsöt is, csupán azt tudjuk, hogy János bármilyen almát meg fog enni, amivel találkozik. Magyarul az alma jelenléte <i>elegendő</i> Jánosnak az alma megevésére.