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

1 2

아주 기본적인 술어논리 자연연역 증명 문제 풀기

1. (∀x)(∀y)(x = y → (∀z)(z = x ↔ z = y))∴ ~(∃x)(∃y)(x = y & ~(∀z)(z = x ↔ z = y))2. asm: (∃x)(∃y)(x = y & ~(∀z)(z = x ↔ z = y))    3. a = b & ~(∀z)...

그냥 연습삼아 도전해보는 2차술어논리 자연연역 증명

1. (∃X)(∃x)(Xx & (∀x)(Xx → Fx))∴ (∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))2. asm: ~(∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))3. (∀X)~(∃x)(Xx & ~(∃x)(Xx & ~Fx))        ...

아주 쉽고 간단한 양상논리학 자연연역 증명

1. □(∀x)(∀y)(∀z)Fxyz∴ ~◇(∃x)(∃y)(∃z)~Fxyz2. asm: ◇(∃x)(∃y)(∃z)Fxyz3. [W] (∃x)(∃y)(∃z)~Fxyz     2, PI4. [W] ~Fabc              &nbs...

너무 지나치게 쉽고 간단한 2차술어논리 자연연역증명

1. (∃X)(Xa & ~Xb)∴ (∃X)(∃x)(∃y)~(~Xx ∨ Xy)2. asm: ~(∃X)(∃x)(∃y)~(~Xx ∨ Xy) 3. (∀X)~(∃x)(∃y)~(~Xx ∨ Xy)        2, QN4. Fa & ~Fb          &nbs...

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

∴ (∀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 & x = x)∴ (∀x)□(Fx → x ≠ x)2. asm: ~(∀x)□(Fx → x ≠ x)3. (∃x)~□(Fx → x ≠ x)       2, QN4. ~□(Fa → a ≠ a)&nbs...

기초적인 술어논리 자연연역 증명

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

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

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