Necesa kondiĉo
El Vikipedio
La plej lasta reviziita versio (listigi ĉiujn) estis aprobita je 10 Feb. 2012.
3 ŝanĝoj bezonas kontrolon.
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).
