تعریف داده شده کدام شرط از شرایط تعریف را ندارد؟ «دو قضیۀ متضاد به دو قضیۀ متقابلی میگویند که صدق همزمان آنها محال باشد»
قضایای متضاد، قضایای متقابلی هستند که در صدق جمع نمیشوند، ولی در کذب جمع میشوند. اگر در کذب هم جمع نشوند، متناقض هستند، نه متضاد، بنابراین، تعریف ذکرشده شامل همۀ قضایای متضاد میشود (جامع است) ولی قضایای متناقض را هم دربرمیگیرد (مانع نیست). همچنین این تعریف از جهت وضوح و دوری نبودن مشکلی ندارد.