명제 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 →의미론 |
|||
78번째 줄:
꼴의 함수이다. (여기서 1, 0은 각각 메타 언어에서의 참과 거짓을 나타낸다.) 명제 논리의 구조 <math>v\colon\{p_i\}_{i\in I}\to\{0,1\}</math>는 모든 논리식의 집합 위의 함수로 다음과 같이 확장할 수 있다.
* 논리식 <math>P</math>에 대하여, <math>v(\lnot P)=1</math>일 필요충분조건은 <math>v(P)=0</math>
* 논리식 <math>P</math>와 <math>Q</math>에 대하여, <math>v(P\implies Q)=1</math>일 필요충분조건은 <math>v(
논리식 <math>P</math>와 구조 <math>v</math>가 주어졌을 때, 만약 <math>v(P)=1</math>이라면, <math>v</math>가 <math>P</math>를 만족시킨다고 하며, 이를
:<math>v\models P</math>
| |||