[일반] 주딱님궁금한게있어요

[빠구리중사뽀로..(kimminsoo310)]

수학전공하면 배우는 논리학엔 어떤게 있나요

기호논리학 위주로 배우는거같은데 수학적 도구를 쓴다는 점에서 철학하면 배우는 그것들이랑 크게 달라보이지 않아요

- dc official App

[5둥리카일렝이(lillollool)]

저도잘모름ㅋㅋ 가장 주로 쓰는건 1계논리

[5둥리카일렝이(lillollool)]

위상공간같이 부분집합에 한정사 쓰는건 1계논리로 집합론 쌓아서 집합론으로 대부분 기술한다고 하던

[빠구리중사뽀로로(kimminsoo310)]

오....저는 이해가안되는부분이군요 모르겠어요 - dc App

[빠구리중사뽀로로(kimminsoo310)]

약간 논리를 증명하는데에 필요한 도구처럼쓰던데 - dc App

[5둥리카일렝이(lillollool)]

말이 유한개의 변수를 가질수있고 변수들에 전칭,존재한정사를 붙일수있는 언어라고함. 1계논리의 형식증명으로 잘 옮길수있는 비형식증명을 쓰고 보통그걸 증명이라 한대요

[빠구리중사뽀로로(kimminsoo310)]

오.... - dc App