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

Loogika