명제 논리: 두 판 사이의 차이

=== 의미론 ===

명제 논리의 '''[[구조 (논리학)|구조]]'''(構造, {{llang|en|structure}})는

꼴의 함수이다. (여기서 1, 0은 각각 메타 언어에서의 참과 거짓을 나타낸다.) 명제 논리의 구조 <math>v</math>는 모든 논리식의 집합 위의 함수로 다음과 같이 확장할 수 있다.

* 논리식 <math>P</math>에 대하여, <math>v(\lnot P)=1</math>일 필요충분조건은 <math>v(P)=0</math>