Neceso kaj sufiĉo
terminoj uzataj por priskribi kondiĉan aŭ implican rilaton inter du deklaroj / From Wikipedia, the free encyclopedia
En logiko kaj matematiko, neceso kaj sufiĉo estas terminoj uzataj por priskribi kondiĉan aŭ implican rilaton inter du deklaroj. Ekzemple, en la kondiĉa deklaro: "Se P tiam R", R estas necesa por P, ĉar la vero de R estas garantiita per la vero de P (ekvivalente, estas maleble havi P sen R). Simile, P sufiĉas por R, ĉar P esti vera ĉiam implicas ke R estas vera, sed P ne estanta ne ĉiam implicas ke R ne estas vera.
Ĝenerale, necesa kondiĉo estas tiu kiu devas ĉeesti por ke alia kondiĉo okazu, dum sufiĉa kondiĉo estas tiu kiu produktas la menciitan kondiĉon. La aserto ke deklaro estas "necesa kaj sufiĉa" kondiĉo de alia signifas ke la antaŭa deklaro estas vera se kaj nur se ĉi-lasta estas vera. Tio estas, la du deklaroj devas esti aŭ samtempe veraj, aŭ samtempe malveraj.
En ordinara alingvaĵo, "necesa" kaj "sufiĉa" indikas rilatojn inter kondiĉoj aŭ statoj de aferoj, ne deklarojn. Ekzemple, esti vira estas necesa kondiĉo por esti frato, sed ĝi ne sufiĉas — dum esti vira gefrato estas necesa kaj sufiĉa kondiĉo por esti frato. Ĉiu kondiĉa aserto konsistigas almenaŭ unu sufiĉan kondiĉon kaj almenaŭ unu necesan kondiĉon.
En lingvoscienco, la termino pri principo de neceso kaj sufiĉo uziĝas analogie. Aparte rilate al Esperanto, la teksto de la fama principo, proponita originale de René de Saussure kaj aperinta unue en la Oficiala Gazeto (majo 1913), estas la jena:
|
La principo estas bazita sur la gramatika naturo de la gramatike deriveblaj vortoj en Esperanto kaj sur la regulo (11-a regulo de la fundamenta gramatiko Esperanta), ke ankaŭ la finaĵoj same kiel la afiksoj estas memstaraj vortoj.
Esplorante ĉi tiujn du principojn oni vidas, ke la Principo de Neceso evidente postulas la fikson de la gramatikaj radikkarakteroj (v. Vortfarado). Nome, por scii, ke nobelo, najbaro jam klare elvokas la ideon de persono, dum nobl kaj proksim bezonas por tio la sufikson ul (noblulo, proksimulo), oni devas scii ankaŭ, ke nobel, najbar estas substantivaj; kaj nobl, proksim estas adjektivaj radikoj. Same, por signi ilon broso sufiĉas, dum oni devas diri kombilo, tio sekvas el la subst. karaktero de bros, kaj el la verba karaktero de komb. La principo de neceso do sen la karakterfikso de l' radikoj pendas en la aero.
La dua principo, kiun, kontraŭ alia teksto de Saussure, oni akceptis laŭ la propono de Ĉefeĉ, ne estas feliĉe konceptita, ĉar ĝi enkondukas la ideon de kunteksto, kiam temas pri konstruo de aparta vorto. La kunteksto povas havi rolon en stilo poezia, sed en proza, precipe en scienca verko ĝia troa utiligo povas naski konfuzojn, do estas tute ne rekomendinda.
La originala teksto de Saussure tekstas:
„b) Principo de sufiĉo: oni ne devas senutile ripeti dufoje la saman ideon en la sama vorto kaj oni ne devas enkonduki en la vorton fremdajn ideojn ne entenatajn en la ideo esprimita.“
En unu frazo oni povus resumi la principon jene:
„Oni enkonduku en vorton ĉiujn elementojn, kiuj necesas, sed ne pli ol kiom sufiĉas por la klara kaj plena elvoko de la ideo esprimita.“ (Kálmán Kalocsay)