Logisk sanning

Från Wikipedia
Hoppa till: navigering, sök

Logisk sanning kallas en sats inom logiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler. Logisk sanning benämns även tautologi.

Två exempel på logiska sanningar är: Lagen om det uteslutna tredje respektive Kontrapositionsregeln

A \lor \lnot A
A \to B \leftrightarrow \lnot B \to \lnot A



Referenser[redigera | redigera wikitext]

  • Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
  • Georg Henrik von Wright, Logik, Filosofi och Språk, Aldus-Bonniers 1957.
  • SIGMA - En matematikens kulturhistoria, band 5, s. 1777, (eng. red. James R. Newman, svensk red. Tord Hall, 1959). Tryckt 1977 hos Bonniers Grafiska Industrier AB. (c) 1956 Simon and Schuster, Inc, New York. ISBN 91-37-06692-7.