ekvivalens
ekvivalens (medeltidslat. aequivaleʹntia, bildning till latin aequivaʹleo, av aequus[ɛ:ʹ-] ’lik’, ’jämn’ och vaʹleo ’vara stark’, ’vara värd’, ’gälla’), likvärdighet, inom logiken namn antingen på en relation mellan två satser som råder när de båda satserna är konsekvenser av varandra eller på en sats sammansatt av två enklare satser vilken uttrycker att de båda satserna implicerar varandra.
I det andra fallet skiljer man bl.a. mellan materiell och strikt ekvivalens beroende på om implikationen är materiell eller strikt. En materiell ekvivalens skrivs i satslogiken antingen
A↔B eller A≡B
och utläses ”A om och endast om B”. Den
Information om artikeln
Källangivelse