ตัวบ่งปริมาณ
∀x คือ สำหรับทุกตัวของ x ถ้า F ตัวเดียว F เลย
∃x คือ สำหรับบางตัวของ x ถ้า T ตัวเดียว T เลย
∃x[ P(x) ] มี T อย่างน้อย 1 ตัว จะมีค่าความจริงเป็น T
∀x[ P(x) ] มี F อย่างน้อย 1 ตัว จะมีค่าความจริงเป็น F
∃x∃y[ P(x,y) ] มี (x,y) อย่างน้อย 1 คู่ที่เป็น T จะมีค่าความจริงเป็น T
∃x∀y[ P(x,y) ] มี x อย่างน้อย 1 ตัวคู่กับ y ทุกตัวเป็น T จะมีค่าความจริงเป็น T
∀x∃y[ P(x,y) ] มี x ทุกตัวจับคู่กับ y บางตัวเป็น T จะมีค่าความจริงเป็น T
∀x∀y[ P(x,y) ] มี (x,y) อย่างน้อยหนึ่งคู่เป็น F จะมีค่าความจริงเป็น F