Filosofia:modus ponens
Jump to navigation
Jump to search
modus ponens | implikaation eliminaatio
| modus ponens | |
| implikaation eliminaatio |
Definition
klassisen lauselogiikan pätevänä pidetty 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
- modus tollendo ponens (vieruskäsite)
- modus tollens (vieruskäsite)
- argumentaatio (yläkäsite)
- päättely (yläkäsite)
- modus ponendo tollens (vieruskäsite)
Sources
References
Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.1.2021: Filosofia:modus ponens. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:modus ponens.)
Siirry tarkastelemaan sivun muokkaushistoriaa →