Piisav tingimus: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 26. aprill 2014, kell 02:02

„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.

@@ 1. rida: / 1. rida: @@
 „''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 [[ekvivalentsus (loogika)|ekvivalentsed]]. Kui ''X'' on ''Y'' piisav ja tarvilik tingimus, siis ''Y'' on ''X'' tarvilik ja piisav tingimus.
-''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 [[ekvivalentsus (loogika)|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'' 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'' piisav tingimus kas paratamatult või faktiliselt. ''X'' võib olla ''Y'' tarvilik tingimus kas paratamatult või faktiliselt.
 [[Kategooria:Loogika]]