Piisav tingimus

(Ümber suunatud leheküljelt Piisavus (matemaatika))

X on Y piisav tingimus“ tähendab: kui X, siis Y (või: iga kord, kui X, siis Y). Näiteks „vihma sadamine on selle piisav tingimus, et ta läheb vara koju“ tähendab, et iga kord kui sajab, läheb ta vara koju.

X võib olla Y piisav, kuid mitte tarvilik tingimus. X võib olla Y tarvilik, kuid mitte piisav tingimus. X võib olla Y piisav ja tarvilik tingimus. Sel juhul X ja Y on ekvivalentsed. Kui X on Y piisav ja tarvilik tingimus, siis Y on X tarvilik ja piisav tingimus.

Kui X on Y piisav tingimus, siis Y on X tarvilik tingimus.

X võib olla Y piisav tingimus kas paratamatult või faktiliselt.