ค่าความจริงของประโยคที่มีตัวบ่งปริมาณตัวเดียว
ตรรกศาสตร์เบื้องต้น พิจารณาประโยคเปิด
> 0 เมื่อกำหนดตัวบ่งปริมาณและเอกภพสัมพัทธ์ให้แตกต่างกัน ดังนี้ บทนิยามตัวบ่งปริมาณตัวเดียว
x[
> 0],
= {0,1,2,3} หมายถึง สมาชิกทุกตัวใน
ยกกำลังสองแล้วมากกว่า 0 แบบทดสอบ1
x[
> 0],
= {0,1,2,3} หมายถึง สมาชิกบางตัวใน
ยกกำลังสองแล้วมากกว่า 0 เฉลยตัวบ่งปริมาณตัวแปรเดียว
x[
> 0],
= {1,2,3} หมายถึง สมาชิกทุกตัวใน
ยกกำลังสองแล้วมากกว่า 0 สมมูลตัวบ่งปริมาณ
x[
> 0],
= {1,2,3} หมายถึง สมาชิกบางตัวใน
ยกกำลังสองแล้วมากกว่า 0 แบบทดสอบ2
x[
< 0],
= {1,2,3} หมายถึง สมาชิกบางตัวใน
ยกกำลังสองแล้วน้อยกว่า 0 เฉลยสมมูลตัวบ่งปริมาณ นิเสธตัวบ่งปริมาณ การพิจารณาค่าความจริงของประโยคที่มีตัวบ่งปริมาณนั้น โดยทั่วไปจะพิจารณา แบบทดสอบ3 แต่ละส่วนของประโยคที่มีตัวบ่งปริมาณ ดังนี้ การพิจารณาจากบทนิยาม ส่วนที่ 1 ตัวบ่งปริมาณ ส่วนที่ 2 ประโยคเปิด ส่วนที่ 3 เอกภพสัมพัทธ์ ในที่นี้จะพิจารณาค่าความจริงของประโยยคที่มีตัวบ่งปริมาณ ซึ่งเป็นประโยคที่มีตัวแปร เพียงตัวเดียว และเพื่อความสะดวกในการกล่าวถึงประโยค จะแทนประโยคที่มีตัวแปร x ด้วย P(x) ดังนั้น ประโยคที่มีตัวบ่งปริมาณที่จะพิจารณาค่าความจริง จะเขียนแทนด้วยสัญลักษณ์ ดังนี้
[P(x)] เมื่อเอกภพสัมพัทธ์ คือ
![]()
[P(x)] เมื่อเอกภพสัมพัทธ์ คือ
![]()
![]()