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