Piisav tingimus: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
Resümee puudub
 
Boy (arutelu | kaastöö)
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.