و (( غير معدوم ) )صادق بالحال وبالموجود، فمعدوم إذا أخص من غير موجود، وموجود أيضا أخص من غير معدوم على هذا القول.

وأنواع المنافاة على ما تقرر في علم المنطق أربعة:

-الأول: الضدان: وهما الأمران الوجوديان اللذان بينهما غاية الخلاف، ولا تتوقف عقلية أحدهما على عقلية الآخر، لا يجتمعان ويرتفعان دون ارتفاع المحل، كالبياض والسواد، وكالحلاوة والمرارة، والحرارة والبرودة، وقد لا يرتفعان إلا بارتفاع المحل كالحركة السكون، وكالاجتماع والافتراق.

-الثاني: النقيضان، وهما إثبات أمر ونفيه، ويجتمعان ولا يرتفعان ولو ارتفع المحل، كقائم وغير قائم.

الثالث: العدم والملكة، وهما إثبات أمر أو نفيه عما من شأنه أن يتصف به كالبصر والعمى لا يجتمعان، ولا يرتفعان إلا بارتفاع المحل.

-الرابع: المتضايفان، وهما الأمران الوجوديات اللذان بينهما غاية الخلاف، وتتوقف معقولية كل منهما على معقولية الآخر، لا يجتمعان ولا يرتفقان عن محل اتصف بأحدهما ولو ارتفع المحل، كالأبوة والبنوة.

وزاد بعضهم: الخلافان، وهما الأمران الوجوديان اللذان بينهما غاية الخلاف، ولا تتوقف معقولية أحدهما على معقولية الآخر، يجتمعان ويرتفعان، كالكلام والقيام.