이산수학

명제 논리란 "문장 구조"를 모델링하는데 사용되며, "문장 논리"라고도 부른다.

부당한 논증 전제가 모두 참일 때, 결론이 참이 아닌 경우가 존재한다. 대표적인 부당한 논증의 유형

명제 논리의 한계를 술어 논리로 해결