ผลต่างระหว่างรุ่นของ "ตัวบ่งปริมาณสำหรับตัวมีจริง"

{{ลิงก์ไปภาษาอื่น}}

ในตรรกศาสตร์เชิงพิสูจน์ '''ตัวบ่งปริมาณ (บางตัว)''' เป็นตัวบ่งปริมาณ ค่าทางตรรกศาสตร์ที่เท่ากับว่า "มี...บางตัว" หรือ "ฟอร์ซัม" หมายความว่า [[ฟังก์ชัน (คณิตศาสตร์)|ฟังก์ชัน]]ของประพจน์นั้นๆ สามารถใช้ได้กับบางตัวใน[[โดเมน (ฟังก์ชัน)|โดเมน]] หรือก็คือ ฟังก์ชันของประพจน์นั้นมีความสัมพันธ์กับสมาชิกแค่เพียงบางตัวในโดเมนนั้นๆ ซึ่งเงื่อนไขที่ใช้ เพียงเป็นจริงกับสมาชิกตัวใดตัวหนึ่ง ค่าความจริงจะเป็นจริงได้ทันที (เนื่องจากเป็นตัวบ่งปริมาณแบบบางตัว)