태그 : proof 요약보기전체보기목록닫기

1

엄청나게 기초적인 자연연역 증명 풀기

∴ (∀x)(x = x ↔ x = x)1. asm: ~(∀x)(x = x ↔ x = x)2. (∃x)~(x = x ↔ x = x)      1, QN3. ~(a = a ↔ a = a)           2, EI4. ~((a = a...

명제태도 문장들이 포함된 논리 증명

다음은 형식적으로 타당한 명제태도 포함 추론이다.딕 아드보카트 감독은 어떤 포르투갈 축구선수들이 네덜란드 축구 선수들이라는 것을 믿는다.딕 아드보카트 감독은 움베르토 코엘류 감독이다.따라서 움베르토 코엘류 감독은 어떤 포르투갈 축구선수들이 네덜란드 축구 선수들이라는 것을 믿는다.증명:1. (∃x)(Fx & ~(∃y)(Fy & x ≠ y) ...

즐거운 술어논리 자연연역 증명하기

다음은 술어논리 자연연역 증명이다.1. (∀x)(Fx → Gx)2. (∀x)(Hx → Gx)3. ~(∃x)(Jx & Gx)∴ ~(∃x)(Jx & Hx)4. asm: (∃x)(Jx & Hx)5. Ja & Ha              4, EI6...
1