Тавтоло́гия в логике — крайний случай логической ошибки «предвосхищение основания» (petitio principii), когда нечто определяется или доказывается тем же самым (idem per idem). В двузначной классической логике термин «тавтология» употребляется наравне с термином «логический закон» для обозначения общезначимых, всегда-истинных или тождественно-истинных, формул, инвариантных к фактическому содержанию (значениям) входящих в них переменных. В многозначной логике тавтологией называют формулы, которые при любом наборе из принятой «обобщенной» системы значений переменных сохраняют одно и то же выделенное (отмеченное) значение.