тавтологія
ТАВТОЛОГІЯ (від грецьк. ταύτό - те саме; λόγοζ - слово) - 1) У традиційній логіці - визначення, що повторює в іншій формі раніше сказане. 2) В логіці математичній - правильно побудована формула числення висловлювань, яка має значення "істина" для всякої системи істиннісних значень її змінних. Прикладом є (A ◡ \~ A) - виключеного третього закон, де A - пропозиційна змінна, ◡ - знак диз'юнкції) - знак заперечення. Т., і тільки вони, є вивідними (з аксіом) формулами класичного числення висловлювань.