Necesa kondiĉ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).
