Filosofia:materiaalinen ekvivalenssi
materiaalinen ekvivalenssi
| 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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.12.2024: Filosofia:materiaalinen ekvivalenssi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:materiaalinen ekvivalenssi.)