명제 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
잔글 →문법 |
||
16번째 줄:
=== 문법 ===
집합 <math>I</math>가 주어졌다고 하자. 그렇다면, <math>I</math>에 대한 명제 논리의 언어는 다음과 같은 기호들로 구성된다.
*
* [[논리 연산]]들
** [[부정 (논리학)|부정]] <math>\lnot</math>
| |||
잔글편집 요약 없음 |
잔글 →문법 |
||
16번째 줄:
=== 문법 ===
집합 <math>I</math>가 주어졌다고 하자. 그렇다면, <math>I</math>에 대한 명제 논리의 언어는 다음과 같은 기호들로 구성된다.
*
* [[논리 연산]]들
** [[부정 (논리학)|부정]] <math>\lnot</math>
| |||