Filosofia:modus ponens
modus ponens | modus ponendo ponens | implikaation eliminaatio
| modus ponens | |||
| modus ponendo ponens | |||
| implikaation eliminaatio |
Määritelmä (fi)
klassisen lauselogiikan päättelysääntö, jossa kahdesta premissistä "jos p niin q" sekä "p" päätellään "q"
Selite (fi)
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.
Lähikäsitteet
- argumentaatio (yläkäsite)
- modus ponendo tollens (vieruskäsite)
- modus tollendo ponens (vieruskäsite)
- modus tollens (vieruskäsite)
- päättely (yläkäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.2.2026: Filosofia:modus ponens. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:modus ponens.)