삼단 논법에는 많은 규칙이 있다. 예를 들어 사건이나 작은 사건이 전제에서 GAI 가 아니라면 결론에서 Gai 가 아니다. 두 가지 부정적인 전제는 결론을 내릴 수 없다. 전제 조건 중 하나는 부정이고, 결론도 부정이어야 한다. 결론은 부정적이며 전제 조건 중 하나는 부정이어야 한다. 두 가지 특별한 전제는 결론을 내릴 수 없다. 전제 조건 중 하나는 특별하고, 결론은 반드시 특별해야 한다.
삼단론 추리에서 특수한 전제에서 전명 결론을 도출할 수는 없다. 마찬가지로, 우리도 전문명 명제에서 전명 명제를 도출할 수 없다.
삼단 논법의 특수 명칭 개념
전통적인 논리는 결론의 주요 항목 (작은 항목) 이 비어 있지 않다고 가정합니다. 즉, 이 항목이 나타내는 집합의 요소가 존재합니다. 이 가정은 위의 네 그리드 중 세미콜론 뒤에 오는 9 개의 공식이 유효하며 세미콜론 앞에 있는 15 공식의 유효성은 이 가정의 영향을 받지 않습니다. 보시다시피 세미콜론 뒤에 오는 9 개의 유효한 표현식은 모두 결론이 특이하다는 특징이 있습니다. 단, 전체 이름을 전제로 합니다.
부울의 관점에 따르면, 전체 이름 명제는 존재를 포함하지 않는다. 즉,' 전문명 명제는 전체 이름 명제로만 유도해서는 안 된다' (일반적으로, 전문명 명제는 존재의 의미가 있는 것으로 간주되고,' 어떤 A 는 B' 는' A 가 있고, 그 A 는 B' 이다). 예를 들어, "모든 자동차가 교통수단이다" 는 것은 "자동차가 존재한다" 는 것을 의미하지 않기 때문에, 그는 삼단론이 세미콜론 앞에 있는 15 개의 유효한 표현식밖에 없다고 생각한다.