[일반] '수리논리와 집합론 입문'에서 질문입니다

[ora(39.120)]

12쪽입니다
논증과정을 요약해보면
좌변의 진리값이 0이면 우변의 진리값이 0이고
우변의 진리값이 0이면 좌변의 진리값이 0이기 때문에 드모르간정리가 성립한다는거 같은데
0뿐만 아니라 1의 경우에도 확인해봐야지 않나?싶어서 질문합니다
구체적으로 말하면
'좌변의 진리값이 1이면 우변의 진리값이 1이고
우변의 진리값이 1이면 좌변의 진리값이 1이다'
도 추가로 증명해야 하지 않나요?

- dc official App

[ora(39.120)]

혼자 생각하다가 그냥 이해했네요 그냥 좌변이 1이고 우변이 0인 경우랑 우변이 1이고 좌변이 0인 경우가 불가능하다는것을 보인거였군요 뻘글이라 생각해주세요 죄송합니다 - dc App

[ExHentai.org(nsa15464)]

아 그렇네 진리값 1인 경우는 아예 할 필요가 없네

[ExHentai.org(nsa15464)]

진리테이블 그리던지 그냥 본문처럼 하던지.. 걍 하면 됨

[익명(220.72)]

드모르간이 아니라 드모르강이네ㄷㄷ - dc App

[수통(147.46)]

테이블 그려야지. 근데 이런거는 철학과 이외에서 할 만한 주제는 아닌 것 같긴 하네. 수학과면 좀 더 논리보다는 집합론이나 선택공리 거관련해서 빡세게 배우는게 바람직해보임

[ExHentai.org(nsa15464)]

저책이 집합론비중이 반밖에 안됨. 나머지 반이 수리논리. 그래서 난 한국어라 좋아라하며 보다 때려치고 핀터로 갈아탐 ㅋㅋ

[ora(39.120)]

조언 감사합니다 지금은pinter를 제대로 읽는게 낫겠네요 - dc App