1. 두 개의 명제(命題) 혹은 두 개 이상의 사건들에 관해서 어느 하나를 옳다고 주장하지 않으면 다른 하나를 주장할 수 없을 때, 후자에 대한 조건으로 전자를 일컫는 말
2. 다시 말하면 명제 p가 참 [眞]이 아니라면 q도 참이 아닐 때 또는 사건 p가 일어나지 않으면 q도 일어나지 않을 때, p는 q의 필요조건이다.
3. 전자를 논리적 필요조건이라 하고 후자를 인과론적 필요조건이라 한다.
4. 예를 들어, "김씨는 남자이다"는 "김씨는 아버지이다"의 논리적 필요조건이고, "물기가 있다"는 "소금이 녹는다"의 인과론적 필요조건이다.