Tautologi (logik)
From Wikipedia, the free encyclopedia
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]
- För det språkvetenskapliga begreppet, se Tautologi (språkvetenskap).
Snabbfakta Deduktion, Modallogik ...
![]() |
---|
Deduktion |
Sann | Giltig | Sund |
Modallogik |
Nödvändighet | Möjlighet |
Stäng