implikaation eliminaatio

From Tieteen termipankki
Jump to: navigation, search

modus ponens (Filosofia) klassisen lauselogiikan pätevänä pidetty päättelysääntö, jossa kahdesta premissistä "jos p niin q" sekä "p" päätellään "q"
Lue koko artikkeli

Tarkastele kieliopillista koodausta nuolialas
Kieli
Sanaluokka
Termityyppi
Johdostyyppi
Suku
Alkuperä

Lähdeviittaus tähän sivuun:
Tieteen termipankki 14.07.2020: Nimitys:implikaation eliminaatio. (Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:implikaation eliminaatio.)