[일반] 유펭린 집합론 연습문제 중 도저히 못 풀겠는거 있음

[익명(118.221)]

1.7절 6번 문제로 위 논증에 대한 타당성을 증명하라는 문제인데 도저히 못 풀겠네

첫번째 가정이 A∧B→C이 아니라 A∧(B→C)이면 풀리는데

[수갤러 1(203.253)]

B가 거짓이면 B→(D∧E)는 항상 참이므로, B가 참인 경우만 생각하면 됨. ~B가 거짓이므로, ~B∨E가 참이 되려면 E는 참. 따라서 B가 참일 때, D도 참임을 보이면 B→(D∧E)가 성립함. 만약 A가 거짓이면 A→C는 항상 참이므로, (A→C)→D는 D가 참일 때만 참. 따라서 B→(D∧E)는 성립. 만약 A가 참이면, A∧B→C는 C가 참일 때만 참. 그러면 A→C가 참이므로 D가 참이어야만 (A→C)→D는 참. 따라서 B→(D∧E)는 성립.

[s&p50(dart8913)]

난 그책으로 안봐서 모르는데 트루스 테이블 쓰는거면 위에 사람 논리로 하면되고. 챕터 후반부면 레졸루션이나 디덕션 풀이 쓰는건데 맨 아랫줄에서 비면 이가 정의에서 바로 나오고. 위에 두줄 중 첫줄에서 에이가 참이냐 거짓이냐랑 무관하게 비 임플라이스 디가 나옴. 에이가 거짓이면 두번째에서 바로 디, 에이가 참이면 에이 임플라이스 씨가 되서 디가 되니까. 따라서 비 임플라이스 디 앤 이

[수갤러 2(49.164)]

저거 5번이었나 6번이었나 집합론 시험문제로 나왔었는데 오랜만이네 ㅋㅋ