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