Fil-loġika u oqsma relatati bħalma huma l-matematika u l-filosofija, jekk u biss jekk (shortened ff) huwa konnettiv loġiku bicondizzjonali bejn id-dikjarazzjonijiet. Billi huwa bicondizzjonali, il-konnettiv jista 'jitqabbel mal-materjal standard kondizzjonali ("biss jekk", ugwali għal "jekk ... imbagħad") flimkien mar-reverse ("jekk"); għalhekk l-isem. Ir-riżultat huwa li l-verità ta 'waħda mid-dikjarazzjonijiet konnessi teħtieġ il-verità ta' l-oħra (jiġifieri ż-żewġ dikjarazzjonijiet huma veri, jew it-tnejn huma foloz). Huwa kontroversjali jekk il-konnettività hekk definita hix mogħtija sew mill-Ingliż "jekk u biss jekk", bit-tifsira pre-eżistenti tagħha. M'hemm xejn li twaqqaf wieħed milli jistipula li nistgħu taqra dan konnettiv bħala "biss jekk u jekk", għalkemm dan jista 'jwassal għal konfużjoni. Bil-miktub, frażijiet li jintużaw b'mod komuni, bi propjeta 'diskutibbli, bħala alternattivi għal P "jekk u biss jekk" Q jinkludi Q hija neċessarja u suffiċjenti għal P, P hija ekwivalenti (jew materjalment ekwivalenti) għal Q (qabbel implikazzjoni materjali), P preċiżament jekk Q, P preċiżament (jew eżattament) meta Q, P eżattament fil-każ Q, u P fil-każ Q. Ħafna awturi jikkunsidraw "iff" bħala mhux xierqa fil-kitba formali; oħrajn jużawh liberament. Fil-formoli loġiċi, jintużaw simboli loġiċi minflok dawn il-frażijiet; ara d-diskussjoni tan-notazzjoni. [Regola ta 'inferenza][Filosofija][Neċessità u suffiċjenza] |