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