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

'증명' 관련 최근글

• 술어논리의 공리 증명하기

  시간을 낭비하는 블로그  by Jewish88|10/31 20:28

  술어논리에는 이른바 공리(axiom)라는 것이 있는데, 공리는 다른 추가적인 전제에 의존하지 않고도 그 자체로 증명과정에 도입가능한 일종의 공식이다. 다음과 같은 공리는 자연연역으로 증명가능하다. ∴ (∀x)(∀y)(x = y ↔ (Fx ↔ Fy))1. ..

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

• 드모르간의 법칙을 활용한 추론

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

  어떤 침례교 신학자는 콘푸레이크이고, 어떤 감리교 신학자는 소승불교의 승려다.따라서 침례교 신학자이면서 콘푸레이크인 그런 것은 없거나, 감리교 신학자이면서 소승불교의 승려인 그런 것은 없거나, 둘 중에 하나인 것은, 아니다. 증명: F: 침례교 신학자.G: 콘푸레이크.H..

  철학, 현대영미철학, 논리학, 증명, 타당성

• 보편양화 쌍조건문이 포함된 추론

  시간을 낭비하는 블로그  by Jewish88|10/16 21:51

  무엇이든, 감리교 목회자인 것은 염산지프라시돈 40mg이고, 무엇이든 염산지프라시돈 40mg인 것은 감리교 목회자인 것이다.따라서 무엇이든 감리교 목회자인 경우에 오직 그러한 경우에만 염산지프라시돈 40mg이다. 증명: F: 감리교 목회자.G: 염산지프라시돈 40mg. 1. (∀x..

  철학, 현대영미철학, 논리학, 추론, 타당성

• 논리적 형식에 의해서 참인 명제

  시간을 낭비하는 블로그  by Jewish88|10/12 19:28

  무엇이든, 장로교 목회자이면서 글루코사민 50ml인 것은, 글루코사민 50ml인 것이다. 증명: F: 장로교 목회자.G: 글루코사민 50ml ∴ (∀x)((Fx & Gx) → Gx)1. asm: ~(∀x)((Fx & Gx) → Gx)2. (∃x)~((Fx & Gx)..

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

• 독특한 추론에 대한, 자연연역증명

  시간을 낭비하는 블로그  by Jewish88|09/26 21:28

  모든 장로교 신학자가, 콩팥을 지닌 생물인 것만은 아니다.따라서 어떤 장로교 신학자는 콩팥을 지닌 생물이 아니다. 증명: F: 장로교 신학자.G: 콩팥을 지닌 생물. 1. ~(∀x)(Fx → Gx)∴ (∃x)(Fx & ~Gx)2. asm: ~(∃x)(Fx & ~Gx)3..

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

• 한정기술구가 포함된 추론 및 자연연역증명

  시간을 낭비하는 블로그  by Jewish88|09/18 22:26

  피터 릴백은 필라델피아에서 가장 거대한 항정살 부위이다.피터 릴백은 요시모토 더이치십농노이다.따라서 요시모토 더이치십농노는 필라델피아에서 가장 거대한 항정살 부위이다. 증명: F: 필라델피아에서 가장 거대한 항정살 부위a: 피터 릴백b: 요시모토 더이치십농노 1. (∃..

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

• 잠깐 들여다보는, 양상논리학 자연연역증명

  시간을 낭비하는 블로그  by Jewish88|09/11 04:26

  필연적으로, 모든 오순절파 목회자들은 항문털이다.따라서 필연적으로, 무엇이든 오순절파 목회자가 아니거나 항문털이거나 둘 중에 하나다. 증명: F: 오순절파 목회자G: 항문털 1. □(∀x)(Fx → Gx)∴ □(∀x)(~Fx ∨ Gx)2. asm:..

  철학, 현대영미철학, 논리학, 양상논리학, 술어논리

• 그냥 살펴보는 술어논리 자연연역증명

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

  무엇이든 장로교 목회자는 똥딱지이다.따라서 장로교 목회자이면서 똥딱지가 아닌 것은 없다. F: 장로교 목회자G: 똥딱지 증명:1. (∀x)(Fx → Gx)∴ ~(∃x)(Fx & ~Gx)2. asm: (∃x)(Fx & ~Gx)3. Fa & ~Ga 2, EI4. Fa 3, S5...

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

• 괌에서 실제로 발생한 독특한 대화

  시간을 낭비하는 블로그  by Jewish88|09/03 21:50

  티모시 윌리암슨: "우리는 많은 편견들을 갖고 있다. 예를 들어, 어떤 특정 자연언어 문법을 공부하는 것을 분석철학에 대한 소홀함 또는 분석철학에 대한 망각으로 단정짓는 것, 또는 어떤 분야에 대해서 배우려고 하는 것을 분석철학에 대한 포기 내지는 망각으로 단정짓는 ..

  철학, 현대영미철학, 대화, 담론, 언어철학

• 2019년 9월 하순 무렵에 라디오헤드의 조니 그린우드의 기타연주

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

  라디오헤드의 조니 그린우드의 기타연주는 다음과 같은 의미를 지닌다."다음과 같은 논증은 자연연역 방식으로 증명될 수 있다.1. ~(∃x)(Fx & ~(∃y)(Gy & x = y))∴ (∀x)(Fx → (∃y)(Gy & x = y))2. asm: ~(..

  철학, 현대영미철학, 음악철학, 음악, 락

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

  시간을 낭비하는 블로그  by Jewish88|2019/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|2019/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|2019/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|2019/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|2019/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