https://web.yonsei.ac.kr/bkim/
나 여기있는 mathematical logic class note로 수리논리 배웠는데 저기선 증명이론의 요소들(언어, 논리적 공리, 추론 규칙)을 정의한 다음 귀류법을 그냥 증명했거든? 증명 과정에서 "공리계가 완전하다" 라거나 "not p가 참이 아니면 p가 참이다" 같은 배중률도 추가로 가정한거 없었음. 근데 귀류법을 인정 안 하는 수학자도 있다는데 그건 왜 그런거?
귀류법은 11쪽 reductio ad absurdum에 써있음. 근데 증명은 생략돼있음
그럼 공리체계에서든 추론규칙에서든 배중률을 함축하는 뭔가를 전제했겠지.
그 뭔가가 뭔지를 누군가 알려주면 좋겠네
배중률이 문제임
닉 뭔뜻임
hentai는 구글검색해보면 알게될거고 Math는 너가 아는 그뜻이 맞고 play는 내가 원하는 방향 그냥 세개 스까놓은거다
예전닉은?
익헨들가서 딸딸이치다가 무지성으로 정함
[Not q 일때 not p] 이면 [p일때 q] 이다. 이런거 공리에 들어있을듯
ㅇㅇ 저건 들어있음. 저 강의노트 체계에서는 항진명제는 다 논리적 공리에 들어감. 근데 저게 배중률은 아니지 않나?
저게 들어가면 배중률이 명제논리체계에서 증명이 되니까 사실상 동치로 봐야지
아 생각해보니까 p or (not p) 도 항진이라 논리적 공리네. 항진명제를 다 논리적 공리에 넣어서 배중률까지 가정하게 됐나보네
ㅇㅇ 애초에 진리값이라는게 명제논리에서 정의되는건데 항진명제를 술어논리에서도 공리로 다 인정하는거 자체가 어느정도 퉁치고 넘기는 면이 있지. 난 그런거 파고들 생각이 없지만…