(в логике), наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно - отрицание другого в широком смысле - утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу рассуждения. Непротиворечиво