[이산수학] 정언 논리 이해

미리 알아둘 것 <한정기호를 사용한 명제의 추론 규칙> 이번에는 정언 논리(categorical logic)라고 하는 단순한 단칭/복합 명제를 사용한 추론 규칙에 한정화된 문장을 서로 결합시킨 추론 규칙에 대해 살펴봅시다. 이러한 정언 논리는 그 뿌리가 굉장히 깊은데 무려 아리스토텔레스가 살았던 시대로 거슬러 올라갈 정도입니다. 정언 논리는 4개의 정언 명제(categorical proposition)로 나누어 지는데, 아래와 같이 4가지 형태를 가집니다. 정언 명제 명제 유형 양(quantity) 질(quality) 전칭긍정명제 A 전칭 긍정 전칭부정명제 E 전칭 부정 특칭긍정명제 I 특칭 긍정 특칭부정명제 O 특칭 부정 간단히 말하면, 전칭/특칭인 한정과 긍정/부정인 명제가 서로 합쳐지는 형태라고 볼 수 있습니다. 이때 특이하게도 이 4가지 명제는 각기 "A", "E", "I" 그리고 "O" 라는 형태의 약어가 존재하는데 이는 각기 라틴어에서 유래했습니다. 긍정 명제들의 경우 "...