สารานุกรมออนไลน์ | Siam Wiki
ไม่เจอคำค้นที่ต้องการ
หน้าแรก
ตัวบ่งปริมาณ_(บางตัว)
หน้าแรก
ตัวบ่งปริมาณ_(บางตัว)
ในตรรกศาสตร์เชิงพิสูจน์
ตัวบ่งปริมาณ (บางตัว)
เป็นตัวบ่งปริมาณ ค่าทางตรรกศาสตร์ที่เท่ากับว่า "มี...บางตัว" หรือ "ฟอร์ซัม" หมายความว่า
ฟังก์ชัน
ของประพจน์นั้นๆ สามารถใช้ได้กับบางตัวใน
โดเมน
หรือก็คือ ฟังก์ชันของประพจน์นั้นมีความสัมพันธ์กับสมาชิกแค่เพียงบางตัวในโดเมนนั้นๆ ซึ่งเงื่อนไขที่ใช้ เพียงเป็นจริงกับสมาชิกตัวใดตัวหนึ่ง ค่าความจริงจะเป็นจริงได้ทันที (เนื่องจากเป็นตัวบ่งปริมาณแบบบางตัว)ใช้สัญลักษณ์ ∃ วางไว้กับตัวแปร ("∃x" หรือ "∃(x)") ตัวบ่งปริมาณแบบบางตัวนั้นตรงข้ามกับ
ตัวบ่งปริมาณแบบทั้งหมด
(สำหรับ...ใดๆ) ซึ่งจะใช้สมาชิกในโดเมนทุกตัว (ดูหัวข้อใหญ่ที่
ตัวบ่งปริมาณ
)รหัสของสัญลักษณ์นี้คือ U+2203 ∃ THERE EXISTS (HTML
∃
·
∃
) และ U+2204 ∄ THERE DOES NOT EXIST (HTML
∄
) (ไม่มี...ใดๆเลย)
เมนูนำทาง
ตัวบ่งปริมาณ_(บางตัว)
พื้นฐาน
จุดเชื่อม
ดูเพิ่ม
สมบัติ
อ้างอิง
ใกล้เคียง
แหล่งที่มา
WikiPedia: ตัวบ่งปริมาณ_(บางตัว)
×