tautologia
log. zdanie, które jest prawdziwe przy każdym podstawieniu stałych za zmienne;
[gr.],
tautologia
Encyklopedia PWN
o wyrażeniu „p lub nie-p” mówi się, że jest tautologią, ponieważ jest prawdziwe, gdy „p” jest albo prawdziwe, albo fałszywe.
