삼단논법: 두 판 사이의 차이

삼단논법은 F1~F4의 추론형식에서처럼 간접추론의 주요한 논리적 프레임(frame)을 가지며 이는 F5의 [[드 모르간의 정리]](De Morgan의定理)나 연언 명제(F6)같은 직접추론들과 함께 [[기호논리학]](Symbolic Logic)의 체계를 보여준다. <ref>[참고]Symbolic Logic 1897 Lewis Carroll - https://www.gutenberg.org/files/28696/28696-h/28696-h.htm</ref><ref>우리말샘 - 드 모르간의 정리 등</ref> 또한 이러한 맥락에서 삼단논법은 복합삼단논법에서처럼 삼단논법으로 분해가능한 정교한 기술(Symbolic)을 구현할수있다.