[일반] 코어논리학 ㅈㄴ 어렵더라

[익명(58.234)]

문장논리 자연연역까진 그럭저럭 할만했는데 술어논리 오니까 머리아픔

1. (4)를 M에서 참이라고 가정하는 이유가 뭐지?

2. 임의의 이름이란 것은 대상영역에 있는 모든 대상들의 이름을 말하는건가?

3. (3)이 (4)를 함축하지 않는 이유에 대한 설명은 다 이해가 안감

이게 입문 수준이라니 논리학도 만만하게 볼게 아니네

[익명(124.59)]

[익명(211.228)]

궁금해서그런데 뭘 전공하길래 이런걸 배움?

[익명(58.234)]

예체능인데 분석철학 취미로 공부중임

[유사힙스터(iamseungpil)]

1. 그러니까 4가 3을 함축하는지를 보이려면 4 명제가 참인 모든 경우에 대해 3이 참이어야 하잖아? 그러니까 4번이 참인 모형 세계 M을 가정하고 그 모형세계에서 3이 참인지를 보는 거지.

[유사힙스터(iamseungpil)]

2. 임의의 이름이란 건 랜덤하게 뽑은 이름이란 거임. 랜덤하게 뽑은 이름이 모두 참이라는 말이 곧 모든 x에 대해 참이라는 말과 동치지. 그래서 보통 논리학에서 Ax를 증명할 땐 x에 임의의 이름 u를 대응시킴.

[유사힙스터(iamseungpil)]

3. 함축하는 걸 증명하는 것관 다르게, 보통 어떤 명제가 다른 명제를 함축하지 않음을 보일 땐 반례를 사용하면 됨. 딱 한 케이스라도 반례가 존재하면 되니까. 그래서 3번은 참인데 4번은 거짓인 예시를 하나 제시한 거임. I(L)은 함수 L이 참인 케이스니까 저걸 차례로 넣어보면 왜 그런지 알 수 있음 ㅇㅇ

[유사힙스터(iamseungpil)]

3. 상식적으로 설명해볼게. 3번 문장을 "모든 사람이 아담 혹은 이브를 사랑한다", 4번 문장을 "모든 사람이 아담을 사랑하건 모든 사람이 이브를 사랑한다"로 해석해보자. 4번이 참이면, 모든 사람이 이브를 사랑하거나, 모든 사람이 아담을 사랑하잖아? 그러니까 모든 사람이 아담 혹은 이브를 사랑하는 게 맞지. 하지만 모든 사람이 아담 혹은 이브를 좋아한다

[유사힙스터(iamseungpil)]

해서 모두가 아담을 좋아한다는 말은 아니잖아. 모든 사람이 이브를 좋아한다는 말도 아니고. 그런 얘기임.

[익명(58.234)]

4 명제가 참인 모든 경우에 대해 3이 참인지를 확인하면 된다는거까진 나도 생각이 닿았는데.. 뭐가 헷갈렸더라. 흠;

[익명(58.234)]

2번은 내가 생각한게 맞긴 한데 그러니까 임의의를 모든이 동치인 표현인거지? ㄳㄳ

[유사힙스터(iamseungpil)]

다 이해됨?

[익명(58.234)]

3번이 제일 문제였는데 확실히 이해됐따 진짜 ㄳㄳ. 근데 이걸 자연연역 하듯이 기호로만 증명해서도 보고 싶은데.. 이거는 뒤파트에 나오려나

[익명(58.234)]

ㅇㅇ 다 이해됨 1번은 뭔가 꺼림칙한게 있다 생각했는데 착각이었던듯

[유사힙스터(iamseungpil)]

자연연역은 말하자면 도출같은 건데, 증명은 도출이랑은 또 달라서 그렇게 기호로만 푸는 문제는 없는 걸로 암. 수학 문제 풀듯이 푸는 느낌이라...

[유사힙스터(iamseungpil)]

1번은 아마 M이라는 모형 세계를 먼저 만들어놓고 4번이 참이라 가정해서 헷갈렸을거야. 수학에서 흔히 사용하는 문법인데, 저렇게 나오면 그냥 편하게 4번이 참인 모형 세계를 가정했구나 넘어가면 됨

[익명(58.234)]

아하아하 없는건가 감사함! 앞으로 논리학갤말고 여기다도 질문해야겠네

[ㅂㅂ(211.36)]

이새끼잘가르치네

[익명(118.235)]

논리적 사고의 기초로 환승하자

[익명(58.234)]

이거보고 계산가능성과 논리 보려 했는ㄷ

[익명(118.176)]

수학이네 완전