[일반] 간단한 명제 질문

[triva(zomi12)]

A면 not A다

A-> not A

not A or not A

A가 참이면 (거짓 or 거짓)이므로 거짓

A가 거짓이면 (참 or 참) 이므로 참

즉

(A->not A) 에서 A에 거짓을 넣으면

(거짓->참)이 되고

이는 곧

(not 거짓 or 참)

(참 or 참)

참

따라서

(거짓이면 참이다)는 참이다

뭐가 잘못된거임?

- dc official App

[수갤러 1(124.53)]

얘도 진짜 독하네 ㅅㅂㅋㅋㅋㅋㅋ

[익명(116.36)]

트리바 너는 몇년째 기초논리학수준을 못벗어나냐 - dc App

[triva(zomi12)]

공부를 못해서 - dc App

[롱기누스(popiuuu)]

거짓이면 참이다 이게 참 맞지 않음?? 공허참 - dc App

[triva(zomi12)]

공허참은 전건이 거짓일때 명제 전체가 참이되는거고 여기선 A에 거짓을 대입하면 A가 참이라고 나옴 - dc App

[롱기누스(popiuuu)]

ㅈㅅㅈㅅ - dc App

[수갤러 2(118.235)]

어디가 a에 거짓 넣었을 때 a가 거짓이라고 나옴? 그런거 없는 것 같은데 - dc App

[수갤러 2(118.235)]

아니아니 참이라고 나옴? - dc App

[triva(zomi12)]

(A->not A) 에서 A에 거짓을 넣으면 - dc App

[수갤러 2(118.235)]

그건 a 거짓 넣었을 때 a->(not a)가 참 되는 거 아님? - dc App

[triva(zomi12)]

그럼 (거짓이면 참이다)가 맞는말아님? - dc App

[수갤러 2(118.235)]

그니까 맞는 말 아닌가? a에 거짓을 넣었더니 a가 참이 나온다는 게 무슨 말인 거임? - dc App

[triva(zomi12)]

(a->not a) a에 거짓넣으면 (거짓이면 거짓이 아니다) 라고 되어서.. - dc App

[수갤러 2(118.235)]

어떻게 그렇게 되는 거지? 이해가 잘 안되네 a의 진리값이 거짓이면 not a의 진리값은 참 아닙니까? - dc App

[triva(zomi12)]

(A->not A)에서 A에 거짓넣으면 (거짓이면 참이다) 라고 나와서 말그대로 해석함 - dc App

[수갤러 1(124.53)]

트리바야 네가 생각하는 건 (어떤 명제가 거짓이면 그 명제는 참이다) 라는 거고, a->not a에서 a가 거짓인 경우는 (a->not a 는 a가 거짓인 경우 참인 명제이다)인데 이 둘은 서로 다른거야 앞의 명제는 틀린 명제고 후자는 맞는 명제임

[triva(zomi12)]

그렇군요 저는 왤케 지능이 낮을까요 - dc App

[수갤러 1(124.53)]

예를 들어 (달이 치즈로 되어 있다면 달은 치즈로 되어 있지 않다) 는 참인 명제인데, 이걸 그냥 개무식하게 (거짓이면 참이다) 처럼 주어도 뭐도 다 생략하고 니 꼴리는대로 줄여서 말하면 의미가 달라지니까 그러면 안 된단다

[수갤러 1(124.53)]

알면 정신과 가서 상담이나 받아보고 여긴 다시 오지 말렴

[triva(zomi12)]

네.. - dc App