차이점
이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
|
고전논리 [2010-04-27 03:33] lifthrasiir |
고전논리 [2011-05-30 18:25] (현재) |
||
|---|---|---|---|
| 줄 16: | 줄 16: | ||
| 시퀀트 대수를 사용하는 자연 증명(natural proof) 체계는 쓰기 구찮다.((이 경우 $$p, q, \cdots \vdash r$$ 식으로 $$\vdash$$ 왼쪽에 "가정"을 써 넣는다. 왜 이런 가정을 추론 규칙으로 바로 쓸 수 없는가 하면 추론 규칙에는 가정 같은 게 없기 때문이다 --- 추론 규칙은 참인 것으로부터 다른 참인 것을 뽑아 내는데 쓰지 조건부 논리를 위한 것이 아니다. 대신 시퀀트 대수에서는 (이를테면) $$a \vdash a$$가 공리계에 포함되어 있다.)) | 시퀀트 대수를 사용하는 자연 증명(natural proof) 체계는 쓰기 구찮다.((이 경우 $$p, q, \cdots \vdash r$$ 식으로 $$\vdash$$ 왼쪽에 "가정"을 써 넣는다. 왜 이런 가정을 추론 규칙으로 바로 쓸 수 없는가 하면 추론 규칙에는 가정 같은 게 없기 때문이다 --- 추론 규칙은 참인 것으로부터 다른 참인 것을 뽑아 내는데 쓰지 조건부 논리를 위한 것이 아니다. 대신 시퀀트 대수에서는 (이를테면) $$a \vdash a$$가 공리계에 포함되어 있다.)) | ||
| + | {{tag>논리학}} | ||
저작권자 © 1999–2012 강 성훈. 저작권을 약간 가집니다. | 풉;이 뭐냐고요?