Новейший философский словарь - тавтология

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

Логические формулы и соответствующие им высказывания, находящиеся в отношении эквивалентности, взаимозаменяеся Т. следует тавтологичность следующих языковых выражений: "Нельзя начертить треугольник равносторонний, но не равнобедренный" и "Если треугольник не равнобедренный, то он не равносторонний". Т. математической логики являются законами (например, законы де Моргана: (А .