Synonymer

Uttal

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

Ingen översättning hittades i den valda målspråket.

Liknande ord

Definitioner

Substantiv

  1. onödig upprepning av samma sak med andra ord
  2. 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

Exempel

  • "Stolthet går före undergång. Högmod går före fall." är en tautologi.
  • 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)]"