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

'증명' 관련 최근글

• 존재양화사 연언 분배법칙 증명

  시간을 낭비하는 블로그  by Jewish88|2021/12/13 09:34

  존재양화사는 연언에 대해서 분배된다. 다음과 같은 추론을 살펴보자. 어떤 것은, 프로그레시브메탈에 의해서 박살나는 것이며, 종교지도자이다.따라서 어떤 것은 프로그레시브메탈에 의해서 박살나는 것이고, 어떤 것은 종교지도자이다. 위의 추론은 다음과 같은 자연연역증..

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

• 보편양화사 조건문 분배법칙 증명

  시간을 낭비하는 블로그  by Jewish88|2021/09/01 08:07

  보편양화사는 조건문에 대해서 분배된다. 이를 증명하기 위해서, 다음과 같은 추론의 타당성을 자연연역 증명방식으로 검토하자. 무엇이든지 이동전화번호인 것이면서, 변경가능한 것은, 사람의 신원을 확인하기에 적합하지 않다.따라서 무엇이든지 이동전화번호인 것이면서,..

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

• 미국 동부에서 실제로 발생한 매우 독특한 대화

  시간을 낭비하는 블로그  by Jewish88|2021/08/01 23:35

  킷트 파인: "보편양화사는 연언에 대해서 결합되고, 또한 분배된다. 하지만 보편양화사는 선언에 대해서는 결합되지만 분배되지는 않는다. 반면에 존재양화사는 선언에 대해서 결합되고, 또한 분배된다. 하지만 존재양화사는 연언에 대해서는 분배되지만 결합되지는 않는..

  철학, 현대영미철학, 대화, 하, 담론

• 러시아 모스크바 북부에서, 실제로 발생한, 독특한 대화

  시간을 낭비하는 블로그  by Jewish88|2021/07/12 16:15

  스캇 올리핀트: "무엇이든지 개신교 목회자인 것은, 살짝 데쳐놓은 찌개용 두부이다. 따라서 무엇이든지 개신교 목회자인 것이 아니거나, 살짝 데쳐놓은 찌개용 두부이거나, 둘 중에 하나다. 아울러 무엇이든지 초교파 개신교 목회자인 것이 아니거나, 종이컵 한 컵 분량..

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

• 양화양상논리 추론 증명하기

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

  필연적으로, 무엇이든지 장로교 목회자인 것은, 깻잎 30그램이다.필연적으로, 무엇이든지 깻잎 30그램인 것은, 음식이고, 무엇이든지 깻잎 30그램인 것은, 채소이다.따라서 필연적으로, 무엇이든지 장로교 목회자인 것은, 음식이고, 무엇이든지 장로교 목회자인 것은, 채..

  철학, 현대영미철학, 논리학, 피그, 담론

• 음파비공 연습하기

  시간을 낭비하는 블로그  by Jewish88|2021/06/04 15:58

  음파비공이란, 악기연주 등의 음색에 내공을 담아서 적을 공격하는 방법이다. 대개 피리나 플루트 등의 관악기를 사용해서 음파비공을 시전하는데, 음파비공을 사용하여 적을 공격할 경우, 적의 혈도 및 내장을 자유자재로 파괴시킬 수 있다. 나는 음파비공을 연습하게 되었다. ..

  철학, 현대영미철학, 무예연습, 무예, 연습

• 존재양화사의 선언결합법칙 증명하기

  시간을 낭비하는 블로그  by Jewish88|2021/05/30 14:26

  어떤 장로교 목회자는 갈색 똥이거나, 어떤 장로교 목회자는 노란색 똥이거나, 둘 중에 하나다.따라서 어떤 장로교 목회자는 갈색 똥이거나, 노란색 똥이거나, 둘 중에 하나다. 증명:F: 장로교 목회자.G: 갈색 똥.H: 노란색 똥1. (∃x)(Fx & Gx) ∨ (∃x)(Fx &..

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

• 존재양화사의 선언분배법칙 증명하기

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

  어떤 침례교 목회자는 갈색 굵은 똥이거나, 노란색 굵은 똥이거나, 둘 중에 하나다.따라서 어떤 침례교 목회자는 갈색 굵은 똥이거나, 어떤 침례교 목회자는 노란색 굵은 똥이거나, 둘 중에 하나다. 증명:F: 침례교 목회자.G: 갈색 굵은 똥.H: 노란색 굵은 똥.1. (∃x)((Fx..

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

• 보편양화사의 연언분배법칙 추론

  시간을 낭비하는 블로그  by Jewish88|2021/05/15 02:51

  무엇이든지 통신비연체미납에 의한 휴대폰 이용정지된 사람은, 이 시대의 진정한 멘토이시고, 이 시대의 진정한 스승이시다.따라서 무엇이든지 통신비연체미납에 의한 휴대폰 이용정지된 사람은, 이 시대의 진정한 멘토이시고, 무엇이든지 통신비연체미납에 의한 휴대폰 이용..

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

• 상파울루에서 정말로 발생한 매우 특이한 대화

  시간을 낭비하는 블로그  by Jewish88|2021/04/05 21:00

  다크 프라위츠: "무엇이든지 통신비연체미납에 의한 휴대폰 이용정지이면서 사회적으로 권장될만한 것은 사회적으로 권장될만한 것이다. 아울러 무엇이든지 통신비미납금을 보유하는 사람이면서 사회적으로 존경받는 사람인 것은 사회적으로 존경받는 사람인 것이다. 또한..

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

• 덴마크에서 실제로 발생한 특이한 대화

  시간을 낭비하는 블로그  by Jewish88|2021/02/27 16:02

  길리안 러셀: "무엇이든 부모가 자식의 통신비 연체미납금을 납부하는 것은, 사회적으로 권장될만한 일이다. 무엇이든 사회적으로 권장될만한 일은, 부모가 자식의 통신비 연체미납금을 납부하는 어떤 것과 동일하다. 따라서 무엇이든 부모가 자식의 통신비 연체미납금을 ..

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

• 양상 추론 자연연역 증명하기

  시간을 낭비하는 블로그  by Jewish88|2021/02/09 21:34

  필연적으로, 무엇이든 개신교 목회자인 것은, 관념론자다.필연적으로, 관념론자인 것은, 무의미한 언행을 남발한다.따라서 필연적으로, 무엇이든 개신교 목회자인 것은, 무의미한 언행을 남발한다. F: 개신교 목회자.G: 관념론자.H: 무의미한 언행을 남발하는 것. 증명: 1...

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

• 양상논리학 기호와 관련된 추론 규칙들

  시간을 낭비하는 블로그  by Jewish88|2021/02/06 23:37

  양상논리학에서는 다음과 같은 추론 규칙이 있다. ~◇~ = □ ~□~ = ◇ 즉, '□'를 '필연적으로'라고 해석하고, '◇'를 '가능하게'라고 해석할 때, 전자는 '~◇~'와 동치이고, 후자는 '~&#963..

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

• 독특한 추론 증명하기

  시간을 낭비하는 블로그  by Jewish88|2021/02/03 18:55

  앤소니 빈센트는 우간다에서 가장 거대한 광어회 초밥이다.앤소니 빈센트는 콜 롤랜드이다.따라서 콜 롤랜드는 우간다에서 가장 거대한 광어회 초밥이다. F: 우간다에서 가장 거대한 광어회 초밥.c: 앤소니 빈센트.d: 콜 롤랜드. 증명: 1. (∃x)((Fx & ~(∃y)(Fy..

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

• 러시아 남부에서 실제로 발생한 대화

  시간을 낭비하는 블로그  by Jewish88|2021/01/23 21:44

  로버트 브랜덤: "무엇이든 경제적 이익을 내는 활동이면서 옳은 것은 옳은 것이다. 따라서 무엇이든 경제적 이익을 내는 활동이면서 옳은 것이 둘 다 아닌 것이거나, 옳은 것이거나, 둘 중에 하나다." 리차드 마크 세인즈브리: "브랜덤 박사의 추론은 다음과 같..

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