모순의 정의

[뭔데(49.143)]

모든 사람은 죽는다
사람 이해황은 죽지 않는다.

이 두 문장이 왜 모순이 아닌지 설명 좀

[익명(116.45)]

윗줄이 참이면 아랫줄은 거짓인데 아랫줄이 거짓이라고 윗줄이 참이 되진 않음

[러셀(salvaveritate)]

1. ∀x(Hx→Mx) (전제) 2. Hl&~Ml (전제) 3. Hl→Ml (1 보편 예화) 4. Hl (2 & 제거) 5. Ml (3 MP) 6. ~Ml (2 & 제거) 7. Ml&~Ml 따라서 두 문장을 함께 포함하는 문장집합은 비일관적인게 맞음 ㅇㅇ

[TIME(ghawmzldjs71)]

저분 비일관을 모순으로 보는 현대논리의 모순말고 고전논리의 모순을 중점으로 설명하시더라고요 - dc App

[러셀(salvaveritate)]

“모순”이라는 표현이 전통 논리의 의미에서 ‘모순 관계’를 의미하기도 하고, 현대 논리의 의미에서 비일관성을 의미하기도 하다보니…

[익명(175.192)]

A,B가 모순이라는 건 항상 A,B 중 하나만 참이고 하나가 거짓이라는 거죠. B가 거짓일 경우 자연스레 A가 참이어야 하는데, 이 씨가 죽지 않는다는 게 거짓이라 해도 모든 사람은 죽는다는 게 참이 되지 않을 수 있죠

[익명(117.111)]

모순의 조건은 상호배타성(동시에 참일 수 없음)과 포괄성(동시에 거짓일 수 없음)임. 저건 상호배타성만 만족함.