ผลต่างระหว่างรุ่นของ "ตัวบ่งปริมาณ (หนึ่งตัว)"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Helloblank (คุย | ส่วนร่วม)
Helloblank (คุย | ส่วนร่วม)
เพิ่มหมวดหมู่
 
บรรทัด 1:
{{เก็บกวาด}}
= ตัวบ่งปริมาณ (หนึ่งตัว) =
ในวิชา[[คณิตศาสตร์]] สาขา[[คณิตตรรกศาสตร์|ตรรกศาสตร์]] ประโยคที่ว่า "'''มี'''...'''หนึ่งตัว'''" ใช้เพื่อแสดงว่ามีสมาชิกตัวใดตัวหนึ่งที่สอดคล้องกับเงื่อนไขอย่างแน่นอน ตัวบ่งปริมาณตัวนี้ เป็นที่รู้จักกันในชื่อ '''ตัวบ่งปริมาณเอกลักษณ์''' หรือ '''ตัวบ่งปริมาณแบบหนึ่งตัว''' ([[ภาษาอังกฤษ|อังกฤษ]] : uniqueness quantification)
 
ใช้สัญลักษณ์ ∃! หรือ ∃<sub>=1</sub> ยกตัวอย่าง ประโยคต่อไปนี้
เส้น 64 ⟶ 63:
 
* [[เซตโทน]]
*[[ตัวบ่งปริมาณ (บางตัว)]]
*[[ตัวบ่งปริมาณ (ทั้งหมด)]]
*[[ตัวบ่งปริมาณ]]
 
== อ้างอิง ==