19 relationer: De Morgans lagar, Deduktionsteoremet, Georg Henrik von Wright, Idempotent, Implikation, Kausalitet, Klassisk logik, Kontraposition, Matematik, Nödvändiga och tillräckliga villkor, Om och endast om, Predikatlogik, Reductio ad absurdum, Sanningsvärde, Sanningsvärdetabell, Satslogik, Tautologi (logik), Teorem, XNOR.
De Morgans lagar
De Morgans lagar är två slutledningsregler inom logik och boolesk algebra, uppkallade efter Augustus de Morgan på 1800-talet.
Ny!!: Ekvivalens (logik) och De Morgans lagar · Se mer »
Deduktionsteoremet
Deduktionsteoremet (även kallad "CP-regeln", från engelska: Conditional Proof) är ett metateorem inom satslogiken.
Ny!!: Ekvivalens (logik) och Deduktionsteoremet · Se mer »
Georg Henrik von Wright
Georg Henrik von Wright, född 14 juni 1916 i Helsingfors, död 16 juni 2003 i Helsingfors, var en finlandssvensk filosof.
Ny!!: Ekvivalens (logik) och Georg Henrik von Wright · Se mer »
Idempotent
På- och avknappar på ett polskt tågs destinationsskyltsinställning. Påknappen är en idempotent operation då den har samma verkan oavsett hur många gånger den används. Inom matematiken och datavetenskapen är en operation idempotent, om den ger samma resultat oberoende av antalet upprepningar.
Ny!!: Ekvivalens (logik) och Idempotent · Se mer »
Implikation
En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser.
Ny!!: Ekvivalens (logik) och Implikation · Se mer »
Kausalitet
Kausalitet, eller orsakssamband, innebär en form av nödvändighet i relationen mellan empiriska fenomen (ting eller händelser).
Ny!!: Ekvivalens (logik) och Kausalitet · Se mer »
Klassisk logik
Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska.
Ny!!: Ekvivalens (logik) och Klassisk logik · Se mer »
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!!: Ekvivalens (logik) och Kontraposition · Se mer »
Matematik
arkivdatum.
Ny!!: Ekvivalens (logik) och Matematik · Se mer »
Nödvändiga och tillräckliga villkor
Nödvändigt villkor och tillräckligt villkor är uttryck, som allmänt används vid omskrivning av så kallade "om, så-satser", inom ett flertal vetenskapliga områden, särskilt inom matematik och logik.
Ny!!: Ekvivalens (logik) och Nödvändiga och tillräckliga villkor · Se mer »
Om och endast om
Om och endast om (förkortat omm) är ett uttryck som förekommer inom matematik och logik.
Ny!!: Ekvivalens (logik) och Om och endast om · Se mer »
Predikatlogik
Predikatlogik är en del av den matematiska logiken.
Ny!!: Ekvivalens (logik) och Predikatlogik · Se mer »
Reductio ad absurdum
Reductio ad absurdum (lat. 'återförande på det orimliga') är en argumentationsform som går ut på att man genom en serie slutledningar givet ett visst antagande kommer fram till en slutsats som är orimlig, uppenbart falsk eller en logisk motsägelse.
Ny!!: Ekvivalens (logik) och Reductio ad absurdum · 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!!: Ekvivalens (logik) och Sanningsvärde · Se mer »
Sanningsvärdetabell
Sanningsvärdetabell är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde.
Ny!!: Ekvivalens (logik) och Sanningsvärdetabell · 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!!: Ekvivalens (logik) 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!!: Ekvivalens (logik) och Tautologi (logik) · Se mer »
Teorem
En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat.
Ny!!: Ekvivalens (logik) och Teorem · Se mer »
XNOR
XNOR är ett logiskt konnektiv, som fås då den dyadiska operatorn XOR negeras, vilket är liktydigt med materiell ekvivalens.
Ny!!: Ekvivalens (logik) och XNOR · Se mer »
Omdirigerar här:
Ekvivalenta, Logisk ekvivalens, Logiskt ekvivalent, Materiell ekvivalens, .