elégséges feltétel

Elegendő feltétel: két matematikai állítás közötti viszonyt fejez ki. Ha egy A állításból biztosan (minden esetben) következik egy B állítás (vagyis, ha A és B között olyan logikai kapcsolat van, hogy ha A igaz, akkor B is igaz), akkor az A állítást a B elégséges feltételének nevezzük. Legyen pl. A állítás: a szám nullára végződik; B állítás: osztható 5-tel. Ebben az esetben A elégséges feltétele B-nek, mert ha valamely szám nullára végződik, akkor biztosan osztható 5-tel. A példából láthatjuk azt is, hogy B igaz lehet akkor is, ha az A állítás hamis (az 5-re végződő számok is oszthatók 5-tel). Tehát a példában az A állítás nem szükséges feltétele B-nek.

Szerkesztette: Lapoda Multimédia

Kapcsolódás

• szükséges feltétel
• szükséges és elégséges feltétel