논리적동치 와 연역규칙의 수를 최소한으로 한다면
어떤게 필요할까요?
논리적동치 와 연역규칙의 수를 최소한으로 한다면
어떤게 필요할까요?
질문이요
ㅁㄴㅇㄹ(122.38)
2020-03-26 11:50
추천 0
논리적동치 와 연역규칙의 수를 최소한으로 한다면
어떤게 필요할까요?
댓글 3
다른 게시글
-
형님덜 [2]익명(183.97) | 20.03.23추천 0
-
논리학 잘하면 인신공격 대처도 잘함?익명(183.98) | 20.03.22추천 0
-
논리력 충만한 소수 vs 억지스러운 다수 [4]익명(223.39) | 20.03.22추천 0
-
논리학 연습문제 질문 [1]익명(219.249) | 20.03.21추천 0
-
논리적 검토 좀 도와주십쇼. [6]익명(121.186) | 20.03.18추천 0
-
인과관계와 필요충분관계 [6]dd(211.208) | 20.03.14추천 0
-
인과관계와 필요조건,충분조건에 대해 질문드립니다. [6]dd(211.208) | 20.03.13추천 0
-
답변해주시던 분 제가 맞게 이해한건지 확인좀부탁드릴게요. [1]dd(211.208) | 20.03.13추천 0
-
질문을 좀 바꿔서 다시 글 올립니다.익명(92.38) | 20.03.12추천 0
-
지성의 집단 논리학 갤러리에 도움을 청합니다. 수학적 귀납법 [43]익명(92.223) | 20.03.12추천 0
힐베르트연역 쓰세요. 조그만한 데 다 들어있어요.
물론 규칙의 수가 줄어드는거 뿐이지 그 규칙을 사용한 증명의 길이는 터무니없이 늘어나겠죠
혹시 힐베르트 체계가 서술된 책이나 사이트같은건 없을까요?