Большой российский энциклопедический словарь
ПРОТИВОРЕЧИЕ
ПРОТИВОРЕ́ЧИЕ (в формальной логике), наличие (в рассуждении, тексте, теории) двух высказываний, из к-рых одно - отрицание другого. П. указывает либо на логич. порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу этого рассуждения,- этим обстоятельством часто пользуются в опровержениях посредством приведения к П. и в косвенных доказательствах.