Тавтология в логике – логическая ошибка в определении понятия, когда определение подменяется изменением словесной формы определяемого понятия: сказуемое повторяет другими словами то, что высказано в подлежащем. В математической логике – высказывание, функция истинности которого является положительной для всех ее значений. – Примеч. ред.
