Противоречие (Кузнецов)
ПРОТИВОРЕЧИЕ - в классической логике — название одного из производных отношений по форме между высказываниями. Два высказывания находятся в отношении П., если они не совместимы по истинности и не совместимы по ложности. Например, в отношении П. находятся следующие высказывания: «Все люди смертны» и «Некоторые люди не являются смертными», а также «Это число делится на два и на пять» и «Если это число делится на два, то оно не делится на пять». Если два высказывания находятся в отношении П., то одно из них эквивалентно отрицанию другого...