Membru : Login |Reġistrazzjoni |Għarfien Upload
Fittex
Jekk u biss jekk [Modifika ]
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]
1.Definizzjoni
2.Użu
2.1.Notazzjoni
2.2.Provi
2.3.Oriġini ta 'iff u pronunzja
3.Distinzjoni minn "jekk" u "biss jekk"
4.F'termini ta 'dijagrammi Euler
5.Aktar użu ġenerali
[Upload Aktar Kontenut ]


Copyright @2018 Lxjkh