tautologi

Substantiv

tautologi

• uttal: /taftʊlʊˈgiː/

1. (retorik) onödig upprepning av samma sak med andra ord

   "Stolthet går före undergång. Högmod går före fall." är en tautologi.

2. (logik) en sats som alltid är sann tack vare sin logisk form, oavsett vad symboler betyder; (inom satslogiken) en sats (bestående av atomära satser) som alltid är sann oavsett sanningsvärdena hos dess atomära satser; (inom predikatlogiken) en sats (bestående av predikat och kvantifikatorer) som alltid är sann för alla tolkningar av dess predikat i alla möjliga modeller

   Följande satser är tautologier inom satslogiken:

   "P eller icke P"

   "om (P och (om P så Q)) så Q"

   Följande satser är tautologier inom predikatlogiken:

   "För alla (x) [P(x) eller icke P(x)]"

   "om För alla (x) [P(x)] så Finns (x) [P(x)]"

Synonymer

omsägning, upprepning, dubbelsägning, tårta på tårta, kaka på kaka, pleonasm

Etymologi

Från senlatinska tautologia; från forngrekiska ταυτολογία (tautología); från ταύτός (tautós) ("samma") + λόγος (lógos) ("ord, förklaring")

Besläktade ord

• tautologisk