Tautologi (logik)

Härledningsbegrepp
	Medför - Följer av; Bevis – Bevisbarhet; Giltig - Giltighet; Sund - Sundhet; Konsekvent - Konsekvens; Fullständig – Fullständighet; Teorem; Tautologi; Kontradiktion; Konträra satser; Deduktion - Härledbarhet;
Närliggande begrepp
	Implikation; Logisk sanning; Sanning; Motsägelse;
	Denna tabell: visa • redigera

Deduktion
	Tautologi \| Kontradiktion; Sann \| Giltig \| Sund
Modallogik
	Logisk sanning \| Logisk omöjlighet; Nödvändig \| Möjlig \| Kontingent
	Denna tabell: visa • redigera

Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.^[1] Ludvig Wittgenstein introducerade begreppet 1921 i verket Tractatus Logico-Philosophicus. Negationen av en tautologi är en kontradiktion.^[2]

^ Alonzo Church, Introduction to Mathematical Logic. Princeton University Press, 1956.
^ Jean van Heijenoort, From Frege to Gödel, A Source Book in Mathematical Logic, Harvard University Press 1967.