Tarvilik tingimus: erinevus redaktsioonide vahel

resümee puudub
 
Resümee puudub
 
 
#REDIRECT [[Piisav tingimus ja tarvilik tingimus]]
„''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'' 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'' tarvilik tingimus, siis ''Y'' on ''X'' piisav tingimus.
''X'' võib olla ''Y'' tarvilik tingimus kas paratamatult või faktiliselt.
 
[[Kategooria:Loogika]]