Ekvivalens (logik)

Materiell ekvivalens och logisk ekvivalens är grundläggande ekvivalensrelationer i den klassiska logiken.

Satserna S₁ och S₂ 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 S₁↔S₂ och kan exemplifieras med satsen p→q ↔ ~q→~p, vilken är en tautologi.

Satserna S₁ och S₂ sägs vara logiskt ekvivalenta om "S₁↔S₂" är en logisk sanning, som exempelvis satsen S₃: "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 S₃ ovan logiska sanningar men inte tautologier.

Logisk operator (Logisk grind)
Negation (NOT) Konjunktion (AND, NAND) Disjunktion (OR, XOR, NOR) Implikation Ekvivalens (XNOR)
Se även
Logisk operator (konnektiv) Sanningsfunktion Sanningsvärdetabell De Morgans lagar

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.

1. Om min klocka går rätt så är tåget försenat.
2. 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 följande sanningstabell, där s står för sant och f för falskt.:

p	q	p ↔ q
s	s	s
s	f	f
f	s	f
f	f	s

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 matematik används vanligen en dubbelskriven pil $\Leftrightarrow$, för att beteckna ekvivalens. Exempel: x² = 1 ⇔ x=1 eller x=-1.

Tekniska lösningar

I elektriska kretsar, pneumatik, hydraulik, mekanik etc kan funktioner som motsvarar ekvivalens realiseras.

Trappomkastare

En trappomkastare realiserar funktionen materiell ekvivalens.

Se även

• Deduktionsteoremet
• XNOR
• Satslogik
• Tautologi (logik)
• Teorem
• Reductio ad absurdum
• Predikatlogik
• Nödvändiga och tillräckliga villkor

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.