모순 (contradiction)과 필연성 (necessity)

동시에 참일 수 없는 두 명제(모순)와 어떤 조건 하에서 반드시 그러할 수밖에 없는 성질(필연성)을 나타내는 논리학 개념입니다.