Necesa kondiĉo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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]