Filosofia:materiaalinen implikaatio
materiaalinen implikaatio
| materiaalinen implikaatio |
Määritelmä (fi)
ehtolauseen muodostava totuusfunktionaalinen lausekonnektiivi
Selite (fi)
Materiaalisen implikaatio on klassisen logiikan implikaatiokäsite. Materiaalisen implikaation sisältävä ehtolause on epätosi ainoastaan silloin kun ehtolauseen etulause (ehto) on tosi ja jälkilause on epätosi. Kaikilla muilla etu- ja jälkilauseiden totuusarvoyhdistelmillä ehtolause määritellään todeksi. Materiaalinen implikaatio on ainoa totuusfunktionaalinen implikaatiokäsite, sillä jos se määriteltäisiin toisin, se samaistuisi johonkin toiseen klassisen lauselogiikan perinteiseen konnektiiviin.
Lähikäsitteet
- ehtolause (kokonaisuuskäsite)
- implikaatio (yläkäsite)
- klassinen logiikka (kokonaisuuskäsite)
- konnektiivi (yläkäsite)
- relevantti implikaatio (vieruskäsite)
- tiukka implikaatio (vieruskäsite)
- totuusfunktionaalinen (ominaisuus)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 1.2.2026: Filosofia:materiaalinen implikaatio. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:materiaalinen implikaatio.)