Tautologi kan betyda:

Grundläggande betydelser

  • Logisk tautologi: Ett påstående i formell logik som är sant oberoende av vilka sanningsvärden dess ingående atomära satser har. Exempelvis är formeln P ∨ ¬P (lagen om uteslutet tredje) sann för alla möjliga värderingar av P.
  • Retorisk/semantisk tautologi: Ett uttryck i naturligt språk som upprepar samma innehåll med andra ord eller är onödigt självklar. Exempel: ”en rund cirkel” eller ”gratis gåva”.

Tautologi i propositional logik — exempel och kontroll

Typiska exempel på tautologier i satslogik:

  • P ∨ ¬P (lagen om uteslutet tredje).
  • (P → Q) ↔ (¬P ∨ Q) (implikationens satsform).
  • (P ∧ Q) → P (konjunktion implikerar sin komponent).

Vanliga metoder för att avgöra om en formel är en tautologi:

  • Truth table (sanningsvärdetabell): listar alla möjliga kombinationer av sanningsvärden och kontrollerar att formeln är sann i varje rad.
  • Semantiska tableau eller naturligt deduktiva bevis: visar att negationen av formeln leder till motsägelse.
  • Resolution och SAT/SAT-solvers: formeln är tautologi om och endast om dess negation är osatisfierbar — det går därför att använda SAT-tekniker för kontroll.
  • Boolesk algebra och ekvivalensomskrivningar för att förenkla uttryck och visa att de alltid är sanna.

Skillnad mot kontradiktion och kontingens

  • Tautologi: alltid sann (i propositional logik för alla tolkningar).
  • Kontradiktion: alltid falsk, t.ex. P ∧ ¬P.
  • Kontingent sats: sann i vissa tolkningar och falsk i andra (varken tautologi eller kontradiktion).

Predicate/logik på första ordningens nivå

I predikatlogik talar man om validitet (ett påstående är sant i alla tolkningar eller modeller). Många giltiga (logiskt sanna) satser i första ordningens logik motsvarar det som i satslogik kallas tautologier, men:

  • Avgörbarheten skiljer sig: medan tautologikontroll i satslogik är ett välkänt (teoretiskt kostsamt) beslutproblem, är giltighetsproblemet i första ordningens logik i allmänhet ofullständigt beslutsbart — det är oavgörbart (Churchs teorem).

Användning och betydelse

  • Inom logik och filosofi: för att identifiera logiskt giltiga argument, förklara relationer mellan satser och studera formella system.
  • Inom matematik och algoritmer: booleanska identiteter och tautologier används för att förenkla uttryck och bevisa formler.
  • Inom datavetenskap och elektronikkonstruktion: vid optimering av logiska kretsar, formell verifikation och i SAT/SMT-lösare.
  • I vardagsspråk och retorik: används uttryck som är tautologiska för stilistiska effekter eller av misstag och kan uppfattas som onödig upprepning.

Formella egenskaper och komplexitet

  • Att avgöra om en propositional formel är en tautologi kallas ofta för tautologiproblemet. Det är ett komplementproblem till SAT och är co-NP-komplett i det allmänna fallet.
  • I praktiken används effektiva heuristiker, SAT- och SMT‑lösare, eller specialiserade algoritmer för att verifiera tautologier i stora uttryck.

Praktiska tips för att känna igen eller visa tautologi

  • Pröva med en sanningsvärdetabell för enkla formler (antal rader växer exponentiellt med antalet atomära satser).
  • Försök att algebraiskt förenkla uttrycket med kända logiska identiteter (distributiva, associativa, De Morgan, etc.).
  • Visa att negationen leder till en motsägelse med hjälp av tableau eller naturlig deduktion.
  • För större formler: använd automatiska verktyg (SAT/SMT‑lösare) eller reductionsmetoder.

Exempel i naturligt språk — när är något en ”tautologi”?

I dagligt tal kallas ofta ett uttalande för tautologiskt när det inte tillför någon ny information eller är uppenbart sant genom definition. Exempel på retoriska tautologier:

  • ”Det är vad det är.”
  • ”En ogift kvinna är en kvinna som inte är gift.”
  • ”Fria gratisprover” (där ”gratis” är överflödigt).

Dessa skiljer sig från logiska tautologier eftersom de kan vara sanna av definitionsskäl eller stolpa likhet i språklig stil, inte nödvändigtvis beroende på formell logik.

Sammanfattning

En tautologi i logiken är en formel som alltid är sann oberoende av tolkning, medan begreppet i språkbruk ofta betecknar onödig upprepning eller självklarhet. Att känna igen och bevisa tautologier är centralt inom logik, matematik och datavetenskap, och metoderna varierar från enkla sanningsvärdetabeller till avancerade automatiska bevisverktyg.