$p \Rightarrow q$가 참일 때 $q$는 $p$이기 위한 필요조건이다 — $p$이려면 $q$는 반드시 성립해야 한다.
이 용어를 정식으로 다루는 문서: 명제
← 사전 전체 보기