العدم العام (الإنكليزية: universal quantifier) هو مفهوم من مفاهيم الرياضيات البحتة والمنطق الرياضي، وهو يقوم بتحديد صحة الجملة بشكل عام، ويستخدم عموماً في الرياضيات البحتة لتعريف الخصائص الشاملة عن مجموعة من الأشياء.
في الرياضيات البحتة، يتم استخدام العدم العام في الكلمات الناقصة، مثل الكلمة “كل” و”معظم” و”بعض”، حيث يمكن تعبيرها باستخدام رموز رياضية، ويكون العدم العام مكوناً من رمز “∀”، والذي يعني “لكل”، أو “ينطبق على الجميع”.
على سبيل المثال، إذا كانت طريقة رياضية تفيد بأن كل رقم زوجي يقبل القسمة على 2، فيمكن كتابتها على النحو التالي: ∀ x (2x is even)، ويشير الرمز “∀” إلى أن العبارة تنطبق على جميع القيم الممكنة لـ x، ولا يوجد أي عدد زوجي يمكن أن يتم إستبعاده. يمكن استخدام العدم العام في الرياضيات البحتة لتحديد خواص الكائنات المختلفة وتوصيفها بصورة دقيقة وصحيحة في الجوانب المختلفة.
