자연연역에서 비슷한 건 만들수 없는건가요?
자료 아시는분 잇으신가요...
명제논리 자연연역 Cut elimination 도대체 어떻게 증명하나요?
익명(124.62)
2022-09-07 02:48
추천 0
댓글 2
다른 게시글
-
님들 코어 논리학으로 입문해도 될까요 [1]익명(39.7) | 22.09.05추천 0
-
증명시 턴스틸과 이중턴스틸 구별해서쓰나요? [7]익명(220.126) | 22.09.05추천 0
-
논리적 사고의 기초가 입문서로 제일 좋나요? [3]익명(219.249) | 22.08.30추천 0
-
인디철학 갤러리 홍보 나왔습니다. [2]chiron(woundedhealer) | 22.08.29추천 1
-
논리학 입문 책 둘 중에 뭐 사는게 좋음? [2]익명(49.166) | 22.08.28추천 0
-
창조과학에서 흔히 하는 말인 그때 거기있었습니까? [4]hero(125.131) | 22.08.25추천 0
-
크립키 구조에서 의미론 신기하네 [2]익명(222.109) | 22.08.23추천 0
-
논리학독자연구해서 발견한 논리어떠냐? [6]익명(182.167) | 22.08.17추천 0
-
누칼협 쓰는 새끼 어떻게 논파하나요? [12]익명(anotherparadise) | 22.08.14추천 2
-
코어논리학 다 읽었는데 다음으로 이 책 어떤거같음? [8]익명(39.7) | 22.08.12추천 0
아 프라위츠 방식 말고 피치 시스템에서 증명하고 싶은데 도대체가 번역을 못하겠어요ㅠㅜ
피치 스타일에서는 극대식(maximum formula) 혹은 절단식(cut-formula)를 판단하기가 조금 어려워요. 자세히는 보지 않았지만 규정하기가 어려울지도 모르겠습니다. 겐첸-프라위츠 방식 의외로 쉬우니 한번 보시기 바랍니다. Dirk van Dalen의 Logic and Structure에 현대적인 방식으로 잘 정리해 둔 것으로 기억합니다.