Filosofia:modus ponens

From Tieteen termipankki
Jump to navigation Jump to search

modus ponens | modus ponendo ponens | implikaation eliminaatio

modus ponens
modus ponendo ponens
implikaation eliminaatio
Definition klassisen lauselogiikan päättelysääntö, jossa kahdesta premissistä "jos p niin q" sekä "p" päätellään "q"
Explanation Modus ponens -päättelysääntö on useimpiin klassisen logiikan päättelysysteemeihin sisältyvä päättelysääntö. Luonnollisen päättelyn systeemeissä se on usein nimetty implikaation eliminoimissäännöksi ja monissa aksiomaattisissa systeemeissä juuri se on valittu lauselogiikan ainoaksi päättelysäännöksi. Sääntö oli tunnettu jo stoalaisessa logiikassa ja latinalaisen nimensä se sai keskiajalla.

Related Concepts

Sources

Bobzien2016, MiettinenS1993

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.10.2021: Filosofia:modus ponens. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:modus ponens.)


Siirry tarkastelemaan sivun muokkaushistoriaa →