Toppfrågor
Tidslinje
Chatt
Perspektiv
Ekvivalens (logik)
Från Wikipedia, den fria encyklopedin
Remove ads
Materiell ekvivalens och logisk ekvivalens är grundläggande ekvivalensrelationer i den klassiska logiken.
Satserna S1 och S2 sägs vara materiellt ekvivalenta om satserna har samma sanningsvärde, det vill säga att antingen båda är sanna eller båda är falska. Förhållandet symboliseras med S1 ↔ S2 och kan exemplifieras med satsen p→q ↔ ~q→~p, vilken är en tautologi.
Satserna S1 och S2 sägs vara logiskt ekvivalenta om "S1 ↔ S2" är en logisk sanning, som exempelvis satsen S3: "x = y ↔ y = x".
Eftersom alla tautologier är logiska sanningar så är två satser, som är materiellt ekvivalenta även logiskt ekvivalenta. Alla logiska sanningar är dock inte tautologier. Exempelvis är satsen "x = x" och satsen S3 ovan logiska sanningar men inte tautologier.
Remove ads
Tabell över logiska ekvivalenser
Sammanfatta
Perspektiv
där S = sann och F = falsk.
Remove ads
Exempel
Satserna nedan är kontrapositionerade, det vill säga av typen p → q respektive ~q → ~p och är enligt ovan materiellt ekvivalenta och således logiskt ekvivalenta.
- Om min klocka går rätt så är tåget försenat.
- Om tåget inte är försenat så går min klocka inte rätt.
Ekvivalensen mellan kontrapositionerade satser är en tautologi, oberoende av satsernas betydelse eller kausala samband.
Materiell ekvivalens

Materiell ekvivalens är den klassiska logikens representation av den språkliga betydelsen "p om och endast om q", som skrivs p ↔ q och har sanningstabellen
p | q | p ↔ q |
S | S | S |
S | F | F |
F | S | F |
F | F | S |
där S står för sant och F för falskt.
Ekvivalensen är således sann endast om p och q båda är sanna eller båda falska.
En ekvivalens kan sägas utgöra en "dubbel implikation", det vill säga att p ↔ q har samma betydelse som satserna p → q och q → p tillsammans:
p | q | p → q | q → p | (p → q) ∧ (q → p) |
S | S | S | S | S |
S | F | F | S | F |
F | S | S | F | F |
F | F | S | S | S |
Inom matematiken används vanligen en dubbelskriven pil , för att beteckna ekvivalens. Exempel: x2 = 1 ⇔ x = 1 eller x = -1.
Tekniska lösningar
I elektriska kretsar, pneumatik, hydraulik, mekanik etc kan funktioner som motsvarar ekvivalens realiseras.
Trappomkastare

Se även
Källor
- Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic. MacMillan 1971.
- Georg Henrik von Wright, Logik, filosofi och språk, Berlingske 1957.
- Howard Kahane, Logic and Philosophy, A Modern Introduction, Wadsworth Publishing Company, Belmont California, 1969.
- Göran Hermerén, Logik, Studentlitteratur, Håkan Ohlssons Boktryckeri Lund 1967.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads