اعلم أن العموم اللفظي عكس العموم المعنوي في أحكام النفي والإثبات، وذلك من أربعة أوجه:

الفرق الأول: أن العموم المعنوي مع خصوصه لكل واحد منهما وجود وعدم، فللحيوان وجود وعدم، وللإنسان وجود وعدم، وهو الخاص المعنوي، والحيوان هو العام المعنوي بالنسبة إليه: فيلزم من نفي العام نفي الخاص، ومن وجود الخاص وجود العام، ولا يلزم من وجود العام وجود الخاص ولا عدمه، ولا من عدم الخاص وجود العام ولا عدمه، فاثنان منتجان واثنان عقيمان، فالمنتجان: عدم العام ووجود الخاص، والعقيمان: وجود العام، وعدم الخاص، فكل ما وجوده منتج فعدمه عقيم، وكل ما عدمه منتج فوجوده عقيم، فيلزم من عدم الحيوان في الدار عدم الإنسان، ويلزم من وجود الإنسان في الدار وجود مطلق الحيوان في الدار، (ولا يلزم من وجود الحيوان في الدار) وجود الإنسان؛ لاحتمال تحققه في الفرس، ولا عدمه؛ لاحتمال تحققه في الإنسان، ولا يلزم من عدم الإنسان من الدار عدم مطلق الحيوان من الدار؛ لاحتمال وجود في الفرس ولا وجود مطلق الحيوان/ في الدار؛ لاحتمال عدم كل حيوان مع عدم الإنسان، فيبقى مطلق الحيوان.