ТАВТОЛОГИЯ

(греч. tauto -то же самое; logos -слово) - 1) выражение, повторяющее ранее сказанное в иной языковой форме; 2) Т. в дефиниции - логическая ошибка, заключающаяся в том, что определяемое понятие определяется через него самого, т.е. определяющая часть дефиниции повторяет то, что выражено в определяемой части ("организатор - человек, обладающий организаторскими способностями"); 3) Т. в математической логике - тождественно-истинная (общезначимая) формула, которая при всех исходных наборах значений переменных, входящих в нее, - истинна (например, (А -> В) (A v В) ). Тавтологическая формула образуется из выражающих одинаковую логическую функцию формул с помощью оператора эквивалентности. Логические формулы и соответствующие им высказывания, находящиеся в отношении эквивалентности, взаимозаменяеся Т. следует тавтологичность следующих языковых выражений: "Нельзя начертить треугольник равносторонний, но не равнобедренный" и "Если треугольник не равнобедренный, то он не равносторонний". Т. математической логики являются законами (например, законы де Моргана: (А ^ В) (A v B); (A v B) (А ^ В)
С.В. Воробьева