태그>증명(총 98개의 글)

'증명' 관련 최근글

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

  시간을 낭비하는 블로그  by Jewish88|06/16 12:58

  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 &..

  철학, 현대영미철학, 논리학, 술어논리, 자연연역

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

  시간을 낭비하는 블로그  by Jewish88|05/26 06:59

  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 & ..

  철학, 현대영미철학, 분석철학, 논리학, 기호논리학

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

  시간을 낭비하는 블로그  by Jewish88|05/13 03:38

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

  철학, 현대영미철학, 언어철학, 논리철학, 논리학

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

  시간을 낭비하는 블로그  by Jewish88|04/20 01:57

  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 1, EI5. ~(∃x)(∃y)~(~Fx ∨ Fy) 3, UI6. (∀x..

  철학, 현대영미철학, 논리학, 2차술어논리, 자연연역

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

  시간을 낭비하는 블로그  by Jewish88|01/27 18:52

  ∴ (∀x)(x = x ↔ x = x) 1. asm: ~(∀x)(x = x ↔ x = x) 2. (∃x)~(x = x ↔ x = x) 1, QN 3. ~(a = a ↔ a = a) 2, EI 4. ~((a = a → a = a) & (a = a → a = a)) 3..

  철학, 현대영미철학, 논리학, 증명, proof

• 간단히 풀어보는 양상논리학 자연연역 증명 (매우 기초적 내용)

  시간을 낭비하는 블로그  by Jewish88|01/16 22:44

  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) 3, E..

  철학, 현대영미철학, 논리학, 양상논리학, 자연연역

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

  시간을 낭비하는 블로그  by Jewish88|01/12 06:42

  ∴ (∀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, QN 3. ~(~(a = a & a = a) ∨ a = a) 2, EI 4. (a = a & a = a) & ..

  철학, 현대영미철학, 논리학, 자연연역, 증명

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

  시간을 낭비하는 블로그  by Jewish88|2018/09/26 02:43

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

  철학, 현대영미철학, 논리학, 추론, 논증

• 그냥 취미로 도전해보는 양상논리학 문제풀이

  시간을 낭비하는 블로그  by Jewish88|2018/07/07 00:31

  1. ~<>(∃x)((∀y)(Fy ≡ x = y) & (∀z)(Gzx ≡ Gzx)) 2. asm: <>(∃x)((∀y)(Fy ≡ x = y) & (∀z)(Gzx ≡ Gzx)) 3. [W] (∃x)((∀y)(Fy ≡ x = y) & (∀z)(Gzx ≡ Gzx)) 2, WI 4. ..

  철학, 현대영미철학, 논리학, 양상논리학, 추론

• Barcan Formula Proof

  시간을 낭비하는 블로그  by Jewish88|2018/05/19 16:32

  1. (∀x)(∀y)[]((Fx & Gy) ⊃ x = y) ∴ [](∀x)(∀y)((Fx & Gy) ⊃ x = y) 2. asm: ~[](∀x)(∀y)((Fx & Gy) ⊃ x = y) 3. <>~(∀x)(∀y)((Fx & Gy) ⊃ x = y) 2, ~[] 4. [W] ~(..

  철학, 현대영미철학, 논리학, 증명, 자연연역

• 삼단논법이 포함된 동일성 추론

  시간을 낭비하는 블로그  by Jewish88|2018/05/05 02:34

  1. (∀x)(∀y)((Fx & Gy) &#8594; x = y)2. (∀x)(∀y)((Gx & Hy) &#8594; x = y)∴ (∀x)(∀y)((Fx & Hy) &#8594; x = y)3. (Fa & Ga) &#8594; a = a 1, UI4. (Ga & Ha) &#85..

  철학, 현대영미철학, 논리학, 추론, 자연연역

• 양화사를 포함하는 동일성 추론

  시간을 낭비하는 블로그  by Jewish88|2018/05/04 08:16

  1. (∀x)(∀y)((Fx & Gy) ⊃ x = y) ∴ ~(∃x)(∃y)((Fx & Gy) & x ≠ y) 2. asm: (∃x)(∃y)((Fx & Gy) & x ≠ y) 3. (Fa & Gb) & a ≠ b 2, EI 4. Fa & Gb 3, S 5. (Fa & Gb) ⊃..

  철학, 현대영미철학, 논리학, 증명, 자연연역

• 동일성 추론

  시간을 낭비하는 블로그  by Jewish88|2018/04/23 22:30

  다음 추론은 논리적 형식에 의해서 타당하다. ∴ ((a = b &#8594; &#9633;a = b) & a = b) &#8594; &#9633;a = b1. asm: (a = b &#8594; &#9633;a = b) & a = b2. a = b &#8594; &#9633;a = b 1, S3. a = b 1..

  철학, 현대영미철학, 논리학, 동일성, 증명

• 간단한 술어논리 증명

  시간을 낭비하는 블로그  by Jewish88|2018/04/17 14:26

  ∴ ~(∃x)((Fx & Gx) & ~Gx)1. asm: (∃x)((Fx & Gx) & ~Gx)2. (Fa & Ga) & ~Ga 1, EI3. Fa & Ga 2, S4. Ga 3, S5. ~Ga 2, S∴ 6. ~(∃x)((Fx & Gx) & ~Gx) from 1; 4 contradicts ..

  철학, 현대영미철학, 논리학, 술어논리, 증명

• 바보가 아니라는 사실을 증명하고 싶은 5월

  앤잇굿? Since 2007  by 애드맨|2008/05/06 23:49

  벌써 5월이다. 낮에는 잠깐 사무실 창가에 기대어 선 채로 하늘을 올려다보았다. 야외활동에 어울리는 더할 나위 없이 화창한 날씨였다. 조만간 본격적으로 더워질 분위기다. 이대로 몇 일 지나고 아스팔트가 후끈 달아오르기 시작하면 내가 싫어하는 여름이다. 여름이 되면 올해도..

  망해가는영화사직원의비공식업무일지, 증명