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