materiaalinen ekvivalenssi

Määritelmä klassisen lauselogiikan konnektiivi "jos ja vain jos"

Selite Klassisessa logiikassa materiaalinen ekvivalenssilause A <-> B on tosi, jos ja vain joa A:lla ja B:llä on sama totuusarvo, muutoin se on epätosi. Objektikielen symboli materiaalinen ekvivalenssi on erotettava metakielisestä loogisesta ekvivalenssista, joka ilmaisee tiettyä semanttisen suhteen vallitsemista kahden lauseen välillä.

Lähikäsitteet

bikonditionaali
ekvivalenssi (logiikka) (yläkäsite)
materiaalinen implikaatio (vieruskäsite)

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →