Sanakirja
Tekoälykääntäjä

Synonyymit

Ääntäminen

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

Käännöksiä ei löytynyt valitulle kohdekielelle.

Samankaltaisia sanoja

Määritelmät

Substantiivit

  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

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