실존적 일반화

실존적 일반화

유형	추론의 법칙
들판	술어 논리
진술	$({displaystyle$ Q$})$의 속성을 가진 범용$세트$에 $멤버$ x({$displaystyle$x})가$$ 있습니다.
기호문	${\displaystyle Q(a)\to \exists {x},Q(x),}$

변환 규칙
명제 미적분
추론 규칙
시사 도입/제거(모더스 포넨) 바이콘디셔널 도입/삭제 접속 도입/삭제 분리 도입/제거 가언적/가설적 삼단논법 건설적/파괴적 딜레마 흡수/모더스 요금소/모더스 요금소 부정 소개
교환 규칙
연관성 정류성 유통성 이중 부정 드 모르간의 법칙 전위 중요한 의미 내보내기 동음이의어
술어 논리
추론 규칙
범용화/인스턴스화 실존적 일반화 / 인스턴스화

술어 논리학에서 실존적 일반화^[1][2](존재적 도입이라고도 함)는 특정 스테이트먼트 또는 하나의 인스턴스에서 수량화된 일반화 스테이트먼트 또는 실존적 명제로 이동할 수 있는 유효한 추론 규칙입니다.1차 로직에서는 형식 증명에서는 실존 수량자( $「\displaystyle\exists$의 규칙으로 자주 사용됩니다.

예: "Rover는 꼬리를 흔드는 것을 좋아합니다.그러므로, 어떤 것이 꼬리를 흔드는 것을 좋아합니다."

예: "앨리스는 스스로 차를 끓였습니다.그래서 앨리스는 누군가에게 차를 끓였다.

예: "앨리스는 스스로 차를 끓였습니다.그래서 누군가 차를 끓여줬다고 말했다.

피치식 미적분:

${\displaystyle Q(a)\to \exists {x},Q(x),}$

$여기$서 Q${\displaystyle (\backslash }$$displaystyle$ Q$($$a))$는${\displaystyle }$Q$)$에서 얻을 수 있습니다.Q($$$x)$는 x$(또는$ 그 중 일부)의 빈칸을 $모두$ x(\$displaystyle$$$a$)$^[3]로$$바꿉니다.

퀴네

Willard Van Orman Quine에 따르면, 보편적 인스턴스화와 실존적 일반화는 단일 원칙의 두 가지 측면입니다. ${\displaystyle 왜냐하면}{\displaystyle \mathrm{}}$∀ ${\displaystyle x}$ ${\displaystyle =}$${\displaystyle \text{x}}$ \ $display style x$ , x , $x = x$ ${\displaystyle =}$Socrates = \$display$ style \ $text$ { Socrates $}$$=$ socrates를 $의미하는$것이 아니라 ${\displaystyle \text{우리}}$는 소크라테스를 ${\displaystyle \text{부정}}$한다고 말할 수 있습니다.es$socrates$、 Socrates （ \$display$style \ $socrates$$$） \ $neq$（ \ text { $Socrates$$$} ）${\displaystyle \mathrm{}}$에는${\displaystyle }$x$$x x x x x $x,$ x x, x$\neq$x$$가 포함되어 있습니다.이 두 운영에서 구체화된 원칙은 양화와 양에 대한 사례로서의 단수 진술 사이의 연결이다.그러나 그것은 예의에 의한 원칙일 뿐이다.이는 용어가 이름일 뿐만 ^[4]아니라 참조적으로 발생하는 경우에만 적용됩니다.

「 」를 참조해 주세요.

• 추론 규칙

레퍼런스