Piisav tingimus: erinevus redaktsioonide vahel
Resümee puudub |
Resümee puudub |
||
8. rida: | 8. rida: | ||
''X'' võib olla ''Y'' piisav tingimus kas paratamatult või faktiliselt. ''X'' võib olla ''Y'' tarvilik tingimus kas paratamatult või faktiliselt. |
''X'' võib olla ''Y'' piisav tingimus kas paratamatult või faktiliselt. ''X'' võib olla ''Y'' tarvilik tingimus kas paratamatult või faktiliselt. |
||
[[Kategooria:Loogika]] |
Redaktsioon: 21. veebruar 2006, kell 01:03
„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 on Y tarvilik tingimus“ tähendab: Y ainult juhul, kui X. Näiteks „vihma sadamine on selle tarvilik tingimus, et ta läheb vara koju“ tähendab, et ta läheb vara koju ainult juhul, kui sajab.
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. Kui X on Y tarvilik tingimus, siis Y on X piisav tingimus.
X võib olla Y piisav tingimus kas paratamatult või faktiliselt. X võib olla Y tarvilik tingimus kas paratamatult või faktiliselt.