Filosofia:ekvivalenssi (logiikka)

    Tieteen termipankista

    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

    equivalenceenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    Rantala&Virtanen2003

    Alaviitteet

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