Tieteen termipankki
fi materiaalinen implikaatio
määritelmä
ehtolauseen muodostava totuusfunktionaalinen lausekonnektiivi
ehtolauseen muodostava totuusfunktionaalinen lausekonnektiivi
selite
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.
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.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: disjunktio, eksklusiivinen disjunktio, ekvivalenssi, implikaatio, inklusiivinen disjunktio, konjunktio, kontrafaktuaali, kontrafaktuaalinen implikaatio, materiaalinen ekvivalenssi, negaatio, relevantti implikaatio, subjunktiivinen ehtolause ja tiukka implikaatio
Koostumussuhteiset yläkäsitteet: ehtolause ja klassinen logiikka
Koostumussuhteiset vieruskäsitteet: implikaatio, kaksoisnegaatio, lauselogiikka ja predikaattilogiikka