既是又不是的矛盾 矛盾同許多有名的悖論有關。其中之一是在一階謂詞演算中從矛盾中可以推導出任何命題（也叫陳述）。換句話說，依據謂詞演算，不管P和Q意味著什麼，如果P和¬P都為真的，則Q為真。