Necesa kondiĉo

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

Necesa kondiĉo estas konkludo rezultanta de iu fakto. Se fakto ekzistos, tiam devos (necese) ekzisti ankaŭ fakto kiu estas konkludo. Alivorte: se necesa kondiĉo ne estas plenumita tiam sendube ne estos plenumita la fakto por kiu estas tiu necesa kondiĉo.

Ekzemple: se iu nombro estas dividebla per 15, tiam ĝia lasta cifero estas 0 aŭ 5.

Fakto ke nombro havas lastan ciferon 0 aŭ 5 estas necesa kondiĉo por fakto ke nombro estas dividebla per 15. Do oni ne devas kontroli de dividebleco per 15 aliaj nombroj (kiuj ne havas lastan ciferon 0 aŭ 5).

Vidu ankaŭ[redakti | redakti fonton]