태그>양화논리(총 39개의 글)

'양화논리' 관련 최근글

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

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

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

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

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

  시간을 낭비하는 블로그  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/04/16 21:53

  명제적 대상이란, 진리값을 보유하면서, 태도를 나타내는 문장의 종속절 역할을 하는 것을 가리킨다. 예를 들어, '똘이는 하늘이 높다는 것을 믿는다'라는 문장은 똘이의 태도를 나타내는 문장인데, 여기서 '하늘이 높다'라는 것은 '똘이는 하늘이 높다는 것을 믿는다'라는 문장의..

  철학, 현대영미철학, 언어철학, 심리철학, 담론

• 2차양화논리 자연연역증명

  시간을 낭비하는 블로그  by Jewish88|2021/03/22 04:28

  무엇이든지 설사똥이면서, 개신교 목회자인, 그런 속성이 있다.따라서 무엇이든지, 그런 속성을 지니지 않거나, 설사똥이면서, 개신교 목회자인 것이거나, 둘 중에 하나인, 그런 속성이 있다. F: 설사똥.G: 개신교 목회자.증명: 1. (∃X)(∀x)(Xx → (Fx..

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

• 독특한 추론 증명하기

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

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

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

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

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

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

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

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

• 2008년 1학기 기호논리학 - 양화논리

  NoSyu의 주저리 주저리  by NoSyu|2008/07/07 09:07

  google_ad_client = "pub-7048624575756403";google_ad_slot = "4952969789";google_ad_width = 300;google_ad_height = 250;google_ad_client = "pub-7048624575756403";google_ad_slot = "495296978

  기호논리학, 타당성, 부당성, 양화논리, 대당사각형