명제 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
잔글 →문법 |
||
17번째 줄:
집합 <math>I</math>가 주어졌다고 하자. 그렇다면, <math>I</math>에 대한 명제 논리의 언어 <math>\mathcal L_I</math>는 다음과 같은 기호들로 구성된다.
* 각 <math>i\in I</math>에 대하여, '''[[원자 명제]]'''(原子命題, {{llang|en|atomic proposition}}) <math>\mathsf p_i</math>
* '''[[부정 (논리학)|부정]]'''(否定, {{llang|en|negation}}) <math>\lnot</math>과 '''[[실질적 함의]]'''(實質的含意, {{llang|en|material implication}}) <math>\Longrightarrow</math>
** [[#논리 연산과 함수적 완전 집합|다른 논리 연산 기호]]들은 이 두 논리 연산을 통해 나타낼 수 있으므로 사용할 필요가 없다.
** [[#논리 연산과 함수적 완전 집합|다른 함수적 완전 집합]]을 사용하여도 좋다.
| |||