Filosofia:ekvivalenssi (logiikka)

From Tieteen termipankki
Jump to: navigation, search

ekvivalenssi

ekvivalenssi
Definition
1. lauselogiikan konnektiivi "jos ja vain jos", jolla muodostetaan ekvivalenssikaava (materiaalinen ekvivalenssi)
2. kahden kaavan välinen samamerkityksisyys (looginen ekvivalenssi)
Explanation 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 p ja q ovat loogisesti ekvivalentteja, jos niillä on sama totuusarvo kaikissa malleissa tai mahdollisissa maailmoissa.

Equivalents

equivalenceenglanti

Related Concepts

Sources

Rantala&Virtanen2003

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →