태그>타당성(총 92개의 글)
'타당성' 관련 최근글
-
- 양상 추론 자연연역 증명하기

-
시간을 낭비하는 블로그 by Jewish88|2021/02/09 21:34
필연적으로, 무엇이든 개신교 목회자인 것은, 관념론자다.필연적으로, 관념론자인 것은, 무의미한 언행을 남발한다.따라서 필연적으로, 무엇이든 개신교 목회자인 것은, 무의미한 언행을 남발한다. F: 개신교 목회자.G: 관념론자.H: 무의미한 언행을 남발하는 것. 증명: 1...
- 양상 추론 자연연역 증명하기
-
- 너바나 팬들이 생각하는, 코로나19현상

-
시간을 낭비하는 블로그 by Jewish88|2021/01/13 19:32
너바나는 1990년대 중반에 세계를 휩쓴, 미국의 그런지락 밴드이다. 너바나 팬들은, 코로나 19현상에 대해서 다음과 같은 생각을 발표했다."자, 무엇이든 초교파 목회자인 것은, 초코파이에 묻은 미세한 티끌이다. 따라서 무엇이든 초코파이에 묻은 미세한 티끌이 아닌 것은..
- 너바나 팬들이 생각하는, 코로나19현상
-
- 라트비아에서 실제로 발생한, 매우 독특하고 특이한 대화

-
시간을 낭비하는 블로그 by Jewish88|2021/01/03 21:30
로리 앤 폴: "무엇이든 하이네켄 맥주인 것은 칼빈주의자의 췌장인 것이고, 무엇이든 칼빈주의자의 췌장인 것은 하이네켄 맥주인 것이다. 따라서 무엇이든 하이네켄 맥주인 경우에, 오직 그러한 경우에만, 칼빈주의자의 췌장이다." 솔 크립키: "폴 박사의 위..
- 라트비아에서 실제로 발생한, 매우 독특하고 특이한 대화
-
- 술어논리의 공리 증명하기

-
시간을 낭비하는 블로그 by Jewish88|2020/10/31 20:28
술어논리에는 이른바 공리(axiom)라는 것이 있는데, 공리는 다른 추가적인 전제에 의존하지 않고도 그 자체로 증명과정에 도입가능한 일종의 공식이다. 다음과 같은 공리는 자연연역으로 증명가능하다. ∴ (∀x)(∀y)(x = y ↔ (Fx ↔ Fy))1. ..
- 술어논리의 공리 증명하기
-
- 드모르간의 법칙을 활용한 추론

-
시간을 낭비하는 블로그 by Jewish88|2020/10/22 23:01
어떤 침례교 신학자는 콘푸레이크이고, 어떤 감리교 신학자는 소승불교의 승려다.따라서 침례교 신학자이면서 콘푸레이크인 그런 것은 없거나, 감리교 신학자이면서 소승불교의 승려인 그런 것은 없거나, 둘 중에 하나인 것은, 아니다. 증명: F: 침례교 신학자.G: 콘푸레이크.H..
- 드모르간의 법칙을 활용한 추론
-
- 보편양화 쌍조건문이 포함된 추론

-
시간을 낭비하는 블로그 by Jewish88|2020/10/16 21:51
무엇이든, 감리교 목회자인 것은 염산지프라시돈 40mg이고, 무엇이든 염산지프라시돈 40mg인 것은 감리교 목회자인 것이다.따라서 무엇이든 감리교 목회자인 경우에 오직 그러한 경우에만 염산지프라시돈 40mg이다. 증명: F: 감리교 목회자.G: 염산지프라시돈 40mg. 1. (∀x..
- 보편양화 쌍조건문이 포함된 추론
-
- 논리적 형식에 의해서 참인 명제

-
시간을 낭비하는 블로그 by Jewish88|2020/10/12 19:28
무엇이든, 장로교 목회자이면서 글루코사민 50ml인 것은, 글루코사민 50ml인 것이다. 증명: F: 장로교 목회자.G: 글루코사민 50ml ∴ (∀x)((Fx & Gx) → Gx)1. asm: ~(∀x)((Fx & Gx) → Gx)2. (∃x)~((Fx & Gx)..
- 논리적 형식에 의해서 참인 명제
-
- 2019년 12월 하순 무렵에 마르첼로 리피 감독의 새로운 명제태도

-
시간을 낭비하는 블로그 by Jewish88|2019/12/19 18:23
마르첼로 리피 감독은 울리 슈틸리케가 화장실 양변기에 앉는 힘의 값이 장산곶매가 먹이를 낚아채기 위해서 하강하는 가속도의 값에 런던 빅밴을 구성하는 질량의 값을 곱한 값이라는 것을 확신한다. 따라서 마르첼로 리피 감독은 런던 빅밴을 구성하는 질량의 값에 장산곶매가 먹이..
- 2019년 12월 하순 무렵에 마르첼로 리피 감독의 새로운 명제태도
-
- 2019년 12월 중순 무렵에 스반 에릭손 감독의 색다른 지각경험

-
시간을 낭비하는 블로그 by Jewish88|2019/12/13 23:18
스반 에릭손 감독은 헬렌 비비가 마크 사이프리드의 얼굴에 농도진한 똥을 배설하는 것을 지각하는 경우에, 스반 에릭손 감독은 길리안 케이 러셀이 레베카 벅스톤과 함께 협력적으로 제프리 와이마의 얼굴에 소변을 배설하는 것을 지각한다. 따라서 스반 에릭손 감독은 헬렌 비비가..
철학, 현대영미철학, 심리철학, 지각, perception
- 2019년 12월 중순 무렵에 스반 에릭손 감독의 색다른 지각경험
-
- 2019년 11월 중순 무렵에 에반에센스의 보컬리스트 에이미 리의 보컬 멜로디

-
시간을 낭비하는 블로그 by Jewish88|2019/11/10 21:20
에반에센스의 보컬리스트 에이미 리의 보컬 멜로디는 '야야야.단순히 동영상 파일을 동영상 플레이어로 재생하는 것이 꼭 포르노를 동영상 플레이어로 재생하는 것만은 아니다. 따라서 단순히 동영상 파일을 동영상 플레이어로 재생하는 것이 꼭 포르노를 동영상 플레이어로 재생하..
- 2019년 11월 중순 무렵에 에반에센스의 보컬리스트 에이미 리의 보컬 멜로디
-
- 2019년 10월 하순 무렵에 기타리스트 마크 모튼의 색다른 기타연주

-
시간을 낭비하는 블로그 by Jewish88|2019/10/30 04:21
기타리스트 마크 모튼의 기타연주는 '태평양에서 가장 거대한 멸치가 있고, 그 멸치를 포획한 30대 여성이 이름 <윌리엄 레인 크레이그>와 <윌라드 밴 오먼 콰인>을 혼동하는 것은 그 멸치를 포획한 30대 여성이 비영어권 사람이기 때문이며, 그 멸치를 포획한 그 30대 여..
- 2019년 10월 하순 무렵에 기타리스트 마크 모튼의 색다른 기타연주
-
- 2019년 10월 중순 무렵에 애틀랜타에서 실제로 발생한 대화

-
시간을 낭비하는 블로그 by Jewish88|2019/10/17 02:26
레인 팁튼: "모든 개는 동물이다. 따라서 모든 동물이 아닌 것은 개가 아니다. 이러한 추론은 형식이 좋은 추론인 것이다. 아울러 모든 피해 여부가 증명되지 않은 화면캡처는 피해보상을 위한 증빙자료로 사용될 수 없다. 따라서 그 어느 피해 여부가 증명되지 않은 화면캡처도..
- 2019년 10월 중순 무렵에 애틀랜타에서 실제로 발생한 대화
-
- 아주 기본적인 술어논리 자연연역 증명 문제 풀기

-
시간을 낭비하는 블로그 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 &..
- 아주 기본적인 술어논리 자연연역 증명 문제 풀기
-
- 2019년 6월 초 무렵에 샌프랜시스코에서 실제로 발생한 대화

-
시간을 낭비하는 블로그 by Jewish88|2019/06/07 03:16
스캇 올리핀트: "모든 개는 동물이다. 바둑이는 개다. 따라서 바둑이는 동물인 것이 아닌 것이 아니다. 아울러 무엇이든지 18센티인 것은 가정파괴용이다. 조니 신스의 거시기는 18센티인 것이다. 따라서 조니 신스의 거시기는 가정파괴용인 것이다. 또한 그 어느 개도 동물이..
- 2019년 6월 초 무렵에 샌프랜시스코에서 실제로 발생한 대화



