Словарь логики - тавтология

— в обычном языке: повторение того, что уже было сказано. Напр.: «Жизнь есть жизнь». «Не повезет, так не пове­зет». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромож­дающего речь и затрудняющего общение. С 20-х годов этого века слово Т. (по предложению Л. Витген­штейна) стало широко использоваться для характеристики логи­ческих законов.

Напр., в формулу «p v ~ р» («р или не-p»), представляющую закон исклю­ченного третьего, вместо переменной должны подставляться высказывания, т. е. выражения языка, являющиеся истинными или лож­ными. Результаты таких подстановок: «Дождь идет или не идет», «Два плюс два равно нулю или не равно нулю» и т. п. Каждое из этих сложных высказываний является истинным.