[일반] 논리 고수들 들어와봐

[익명(61.84)]

∀x(Px->Qx)랑 같은말이

∃x(~Qx->~Px) ,∀x(~Qx->~Px) 둘 중에 뭐임??

가능하다면 이유도 부탁해

[익명(220.127)]

후자임 임의의 명제와 그 대우는 참거짓이 항상 같음 모든 x에 대해 참거짓이 같아야함 - dc App

[익명(61.84)]

생각해보니까 그렇네 ㄷㄷ. 진짜 감사!

[돈까스(10ehxnm6zvxp)]

뭔 소리임? '모든'의 역이 '어떤'인데... "어떤 실수 k에 대해서 k>0이면, m>0이다."의 대우명제는 "m<=0이면, 모든 실수 k에 대해서 k<=0이다." 인데

[익명(220.127)]

명제의 집합이라고 보시면 이해될겁니다 - dc App

[돈까스(10ehxnm6zvxp)]

조건문이 아니라서 대우가 의미가 없어지는건가? 모든이 어떤으로 바뀌는게 있었는데

[익명(104.28)]

‘(∀x)(Px -> Qx)’의 부정 ‘~(∀x)(Px -> Qx)’는 ‘(∃x)(Px & ~Qx)’와 동치입니다. 돈까스님이 말씀하시는 건 이러한 상황이고 이는 대우법칙과는 무관한 상황입니다.

[익명(220.127)]

오 님 지리네 나 중딩때 배운거라 기억이 안나서 뭐라고 설명해야할지 막막했는데 ㅋ - dc App