无矛盾律

传统逻辑基本规律之一，即认定相矛盾的命题在同一时间同一意义上不可能同时成立 来自维基百科，自由的百科全书