ในตรรกศาสตร์เชิงพิสูจน์ ตัวบ่งปริมาณสำหรับทุกตัว (อังกฤษ: Universal quantifier) หรือ ตัวบ่งปริมาณแบบทั้งหมด เป็นหนึ่งในตัวบ่งปริมาณ ซึ่งใช้แทนคำว่า "สำหรับ...ใดๆ" หรือ "ฟอร์ออล" หมายความว่าภาคแสดงนั้นเป็นจริงสำหรับสมาชิกใด ๆ ในโดเมน หรือก็คือ สมาชิกทุกตัวในโดเมนนั้น ๆ สอดคล้องกับเงื่อนไขที่กำหนดการบ่งปริมาณสำหรับทุกตัว จะเขียนแทนด้วยสัญลักษณ์ ∀ ร่วมกับตัวแปร เช่น "∀x", "∀(x)" หรือบางทีเขียน "(x)" แบบโดด ๆ จะแทนข้อความที่ว่า สำหรับ x ใด ๆ หรือ สำหรับทุก x ตัวบ่งปริมาณสำหรับทุกตัวแตกต่างจากตัวบ่งปริมาณสำหรับตัวมีจริง ซึ่งจะใช้เฉพาะสมาชิกในโดเมนอย่างน้อยที่สุดหนึ่งตัวเท่านั้น (ดูหัวข้อใหญ่ที่ตัวบ่งปริมาณ)รหัสของสัญลักษณ์นี้ในระบบยูนิโคดคือ U+2200 ∀ for all และ \forall ในระบบ LaTeX