Categorical  Proposition

정언명제 (定言命題, categorical proposition) 이란 어떤 대상 또는 사태에 대하여 단언적으로 말하는 명제를 말한다. 주명사 (主命辭) 와 술명사 (述命辭) 를 각각 S 와 P 로 표시한다면 정언명제의 형식은 전칭긍정 (全稱肯定 : 예를 들면, 모든 S는 P이다), 전칭부정 (어느 S도 P가 아니다), 특칭긍정 (어느 S는 P이다), 특칭부정 (어느 S는 P가 아니다) 의 4종류가 있으며 위에 적은 순서대로 A,E,I,O 라고 표기한다. 또한 전칭과 특칭을 정언명제의 양(量)이라 하고 긍정과 부정을 질(質)이라 한다. 그리고 선언명제(選言命題), 즉 ‘…또는…’이라는 명제 및 가언명제(假言命題), 즉 ‘만일…이면…이다’라는 명제는 정언명제를 조립해서 만드는 복합명제이다.

주어와 술어를 각각 S와 P로 표시한다면 정언명제 (categorical proposition) 의 형식은 전칭긍정(모든 S는 P이다), 전칭부정(어느 S도 P가 아니다), 특칭긍정(어느 S는 P이다), 특칭부정(어느 S는 P가 아니다)의 4종류가 있으며 위에 적은 순서대로 A,E,I,O 라고 표기한다.

양화 명제 : 소광희 : 술어계산에서 사용하기위해 명제를 기호화하는데에는 정언명제의 기호화, 비정언명제의 기호화, 관계명제의 기호화 로 나눌 수 있다.