การสรุปเชิงอัตถิภาวะ

พิมพ์	กฎแห่งการอนุมาน
สนาม	ตรรกศาสตร์ภาคแสดง
คำแถลง	ในเซตสากลมีสมาชิกอยู่หนึ่งตัว ที่มีคุณสมบัติดังนี้${\displaystyle x}$${\displaystyle Q}$
คำแถลงเชิงสัญลักษณ์	${\displaystyle Q(a)\to \ \exists {x}\,Q(x),}$

ในตรรกศาสตร์ภาคแสดงการสรุปเชิงมีอยู่^{[ 1 ] [ 2 ]} (เรียกอีกอย่างว่าการแนะนำเชิงมีอยู่ ∃I )เป็นกฎการอนุมานที่ถูกต้อง ซึ่งช่วยให้สามารถย้ายจากข้อความเฉพาะ หรือตัวอย่างหนึ่ง ไปยังข้อความทั่วไปที่มีตัวบ่งปริมาณ หรือข้อเสนอเชิงมี อยู่ได้ ในตรรกศาสตร์ลำดับที่หนึ่งมักใช้เป็นกฎสำหรับตัวบ่งปริมาณเชิงมีอยู่ ( ) ในการพิสูจน์อย่างเป็นทางการ ${\displaystyle \exists }$

ตัวอย่าง: "โรเวอร์ชอบกระดิกหาง ดังนั้น สิ่งหนึ่งจึงชอบกระดิกหาง"

ตัวอย่าง: "อลิซชงชาให้ตัวเองหนึ่งถ้วย ดังนั้น อลิซจึงชงชาให้คนอื่นหนึ่งถ้วย"

ตัวอย่าง: "อลิซชงชาให้ตัวเองหนึ่งถ้วย ดังนั้น มีคนชงชาให้คนอื่นหนึ่งถ้วย"

ในแคลคูลัสแบบฟิตช์ :

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

โดยที่ได้มาจากการแทนที่การปรากฏอิสระทั้งหมดของ(หรือบางส่วน) ด้วย^{[ 3 ]}${\displaystyle Q(a)}$${\displaystyle Q(x)}$${\displaystyle x}$${\displaystyle a}$

ตามที่Willard Van Orman Quineกล่าว ไว้ การสร้างอินสแตนซ์สากลและการสรุปทั่วไปเชิงการดำรงอยู่เป็นสองแง่มุมของหลักการเดียวกัน เพราะแทนที่จะพูดว่าสิ่งนั้นหมายถึงเราอาจพูดได้ว่าการปฏิเสธหมายถึงหลักการที่ปรากฏอยู่ในสองการดำเนินการนี้คือการเชื่อมโยงระหว่างการกำหนดปริมาณและข้อความเอกพจน์ที่เกี่ยวข้องกับสิ่งเหล่านั้นในฐานะอินสแตนซ์ อย่างไรก็ตาม มันเป็นหลักการเพียงเพราะมารยาทเท่านั้น มันใช้ได้เฉพาะในกรณีที่คำศัพท์ตั้งชื่อและยิ่งไปกว่านั้น เกิดขึ้นในเชิงอ้างอิง^{[ 4 ]}${\displaystyle \forall x\,x=x}$${\displaystyle {\text{โสกราตีส}}={\text{โสกราตีส}}}$${\displaystyle {\text{โสกราตีส}}\neq {\text{โสกราตีส}}}$${\displaystyle \exists x\,x\neq x}$

• การจุติเชิงอัตถิภาวะ
• รายการกฎการอนุมาน
• การสรุปแบบสากล