이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
고전논리 [2010-04-27 03:15] lifthrasiir 예시 추가 귀찮다 |
고전논리 [2011-05-30 18:25] (현재) |
||
---|---|---|---|
줄 5: | 줄 5: | ||
===== 예시 ===== | ===== 예시 ===== | ||
- | $$\neg$$ 연산자와 $$\rightarrow$$ 접속사를 사용하는 다음 [[명제논리]]계는 대표적인 [[완전성|완전]]하고 [[안전성|안전]]한 고전 논리계이다. ($$\wedge$$, $$\vee$$ 따위는 이들 연산자를 사용하여 구성된다고 치자.) | + | $$\neg$$ 연산자와 $$\rightarrow$$ 접속사를 사용하는 다음 [[명제논리]]계는 대표적인 [[완전성|완전]]하고 [[안전성|안전]]한 논리계이다. ($$\wedge$$, $$\vee$$ 따위는 이들 연산자를 사용하여 구성된다고 치자.) 마지막 공리는 modus ponens(MP)라고 한다. |
<.center> | <.center> | ||
줄 14: | 줄 14: | ||
</> | </> | ||
+ | 시퀀트 대수를 사용하는 자연 증명(natural proof) 체계는 쓰기 구찮다.((이 경우 $$p, q, \cdots \vdash r$$ 식으로 $$\vdash$$ 왼쪽에 "가정"을 써 넣는다. 왜 이런 가정을 추론 규칙으로 바로 쓸 수 없는가 하면 추론 규칙에는 가정 같은 게 없기 때문이다 --- 추론 규칙은 참인 것으로부터 다른 참인 것을 뽑아 내는데 쓰지 조건부 논리를 위한 것이 아니다. 대신 시퀀트 대수에서는 (이를테면) $$a \vdash a$$가 공리계에 포함되어 있다.)) | ||
+ | |||
+ | {{tag>논리학}} |