Propositional Logic

1.1 Propositional Logic 정리 0. Introduction 이번 섹션 1.1에서는 명제논리(propositional logic)를 다룬다. 명제논리는 “참(true)” 또는 “거짓(false)”으로만 평가되는 문장들을 대상으로, 이들을 기호화하고 규칙적으로 다루는 도구이다. 컴퓨터공학 관점에서 보면, 명제논리는 조건문 if (x > 0) { ... } 의 의미를 정확히 표현하고, 논리회로(AND, OR, NOT 게이트 등)를 수학적으로 표현하며, 프로그램이 모든 입력에 대해 올바르게 동작하는지 증명할 때 기초가 되는 언어라고 볼 수 있다. 1. 핵심 정의 및 개념 1.1 명제(proposition) ..