백과사전 상세 본문
요약 삼단논법론 또는 전통 논리학에서 술어가 다른 제한조건 없이 주어의 전체나 부분을 긍정 또는 부정하는 명제(또는 진술).
정언명제에는 다음과 같은 4가지 기본형이 있다. '모든 S는 P이다', '어느 S도 P가 아니다', '어떤 S는 P이다', '어떤 S는 P가 아니다'. 이 4가지 형식의 정언명제는 각각 A, E, I, O로 표시된다.
예를 들어 "모든 인간은 죽는다"는 A명제이다. 정언명제는 복합명제와 구별되며 복합명제들의 필수적 구성 부분이다. 특히 정언명제는 논리적 연결이 아니라 사실을 주장한다는 점에서 "만일 모든 사람이 죽는다면, 소크라테스는 죽는다"와 같은 형식의 가언명제와 대비된다.
정언명제를 포함하는 추론은 술어논리계산에서 다루는 반면, 복합명제를 포함하는 추론은 명제논리계산을 사용한다.→ 대당사각형
본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.
