5 relationer: Kontraposition, Lagen om det uteslutna tredje, Sanningsvärde, Satslogik, Tautologi (logik).
Kontraposition
Kontraposition är en regel i klassisk logik med vilken en villkorssats kan skrivas om med en omkastning, kontraposition, och negering av för- och eftersats.
Ny!!: Logisk sanning och Kontraposition · Se mer »
Lagen om det uteslutna tredje
Lagen om det uteslutna tredje, latin: tertium non datur, är en tankelag inom logik som lyder: allt måste antingen vara eller icke vara (A är antingen B eller icke-B), eller: av två kontradiktoriskt motsatta omdömen är det ena sant..
Ny!!: Logisk sanning och Lagen om det uteslutna tredje · Se mer »
Sanningsvärde
Ett sanningsvärde är ett värde tilldelat ett påstående grundat på huruvida detta är uppfyllt eller ej.
Ny!!: Logisk sanning och Sanningsvärde · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: Logisk sanning och Satslogik · Se mer »
Tautologi (logik)
Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.
Ny!!: Logisk sanning och Tautologi (logik) · Se mer »