ตัวบ่งปริมาณ

สำหรับจำนวนจริง x ทุกตัว x+x= 2x

• ∀×[x+x= 2x]

• ∃x[x+x= 2x]

มีจำนวนจริง x ซึ่ง x+0 = 2x

• ∀x [x+0 = 2x ]

• ∃x [x+0 = 2x ]

สำหรับจำนวนจริง x บางตัว ถ้า x = 0 แล้ว x >0

• ∀x[x = 0→ x >0]

• ∃x[x = 0→ x >0]

จำนวนจริงทุกจำนวนเป็นจำนวนตรรกยะ

• ∀x[x∊R →x∊Q]

• ∃x[x∊R →x∊Q]

∃x [x + 3 =6 ]

• มีจำนวนจริง x บางตัว ทำให้ x + 3 =6

• จำนวนจริงทุกจำนวน ทำให้ x + 3 =6

มีจำนวนจริง x ที่ทำให้ x+x =2x

• ∀x[x+x=2x]

• ∃x[x+x=2x]

จำนวนจริงแต่ละจำนวน ซึ่ง x+0=2x

• ∀x[x+0=2x]

• ∃x[x+0=2x]

• สำหรับ x ทุกจำนวน ถ้า x เป็นจำนวนเต็ม แล้ว x เป็นจำนวนจริง

• มีจำนวนเต็ม x เป็นจำนวนจริง

• มีจำนวนจริง x เป็นจำนวนเต็ม

• จำนวนจริงทุกจำนวนเป็นจำนวนเต็ม

∃x[x²=1]

• จำนวนเต็มบางจำนวนยกกำลังสองแล้วเท่ากับ 1

• จำนวนเต็มทุกจำนวนยกกำลังสองแล้วเท่ากับ 1