邏輯術語。指一個條件，有之不必然，無之必不然，與充分條件相對。舉例而言，「人若要活著，需要空氣」，空氣便是人生存的必要條件，卻不是充分條件，因為只有空氣對於人的生存是不夠的，還需要別的條件，例如水、食物；可是若沒有空氣，人一定活不了。