Sanakirja
Tekoälykääntäjä

Synonyymit

Ääntäminen

    • IPA: /taftʊlʊˈgiː/
KieliKäännökset
ranskatautologie
saksaTautologie

Määritelmät

Substantiivi

  1. (lingvistik, retorik) upprepning av samma sak med andra ord; som i vardags- eller fackspråk är onödig men som i retoriken och litterära verk används som stilfigur för att förstärka intrycket eller övertyga lyssnare/läsare
  2. (semantik) sats som genom sin semantik är nödvändigt sann
  3. (matematisk logik) en sats som alltid är sann tack vare sin logiska form, oavsett vad symboler betyder; (satslogik) en sats som alltid är sann oavsett sanningsvärdena hos dess atomära satser; (predikatlogik) en sats som alltid är sann för alla tolkningar av dess predikat i alla möjliga modeller

Esimerkit

  • "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)]"