Значение ТАВТОЛОГИЯ в математической энциклопедии:
- формула языка исчисления высказываний, принимающая истинностное значение листина