ekvivalenssi


ekvivalenssi

Määritelmä

1. lauselogiikan konnektiivi "jos ja vain jos", jolla muodostetaan ekvivalenssikaava (materiaalinen ekvivalenssi)

2. kahden kaavan välinen samamerkityksisyys (looginen ekvivalenssi)

Selite Lauselogiikan materiaalinen ekvivalenssi on yksi sen konnektiiveista. Ekvivalenssilause on tosi kun sen molemmilla osalauseilla on sama totuusarvo, tosi tai epätosi, ja muissa tapauksissa se on epätosi. Lause- ja predikaattilogiikan kielen materiaalinen ekvivalenssi on erotettava semanttisesta ekvivalenssin käsitteestä, loogisesta ekvivalenssista, joka on metatason väite kahden lauseen välisestä semanttisesta suhteesta. Kaksi väitettä tai väitelausetta A ja B ovat loogisesti ekvivalentteja, jos niillä on sama totuusarvo kaikissa malleissa tai mahdollisissa maailmoissa.

Erikieliset vastineet

equivalence

englanti (English)

Lähikäsitteet

konnektiivi (yläkäsite)
looginen ekvivalenssi (alakäsite)
materiaalinen ekvivalenssi (alakäsite)
totuusarvo

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:ekvivalenssi (logiikka). (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ekvivalenssi (logiikka).)

Siirry tarkastelemaan sivun muokkaushistoriaa →