Tautologi (logik)

Från Wikipedia

Hoppa till: navigering, sök


Deduktion
Tautologi - Kontradiktion Sann - Giltig - Sund
Modal logik
Logiskt sann - Logiskt omöjlig Nödvändig - Möjlig

En tautologi är ett begrepp inom logiken för en formel som har egenskapen att bli sann oberoende av de ingående variablernas sanningsvärden. Att en formel är en tautologi i ett logiskt system är liktydigt med att den också är ett teorem i detta. Begreppet tautologi (som är en funktion/mening) förväxlas ofta med begeppet logisk sanning (som är ett sanningsbegrepp).

[redigera] Exempel

Exempel på tautologiska ekvivalenser $\Leftrightarrow$ i den klassiska logiken:

$\neg \neg P\Leftrightarrow P$ (dubbel negation)

$P\wedge Q\Leftrightarrow Q\wedge P$

$(P\leftrightarrow Q)\Leftrightarrow (P\rightarrow Q)\wedge (Q\rightarrow P)$

Exempel på tautologiska implikationer $\Rightarrow$ i den klassiska logiken:

$P\wedge Q\Rightarrow P$ (förenkling)

$P\Rightarrow P\vee Q$ (addition)

$(P\vee Q)\wedge(P\rightarrow R)\wedge(Q\rightarrow R)\Rightarrow R$ (dilemma)

[redigera] Se även

Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.

Hämtad från "http://sv.wikipedia.org/wiki/Tautologi_(logik)"

Kategorier: Logik | Logikstubbar

Visningar

Personliga verktyg

Logga in / skapa konto

Sök

Verktygslåda

På andra språk