päättelysääntö


päättelysääntö

Määritelmä (fi)

yleensä yksinkertainen ja intuitiivisesti hyväksyttävissä oleva sääntö, johon vetoamalla perustellaan uusi päättelyketjun askel

Selite (fi)

Jokaisessa loogisessa päättelysysteemissä on vähintään yksi päättelysääntö, lisäksi niissä voi olla aksioomia. Aristoteleen syllogismit ovat päättelysääntöjä, samoin lauselogiikan päättelysysteemeissä tavallinen nk. Modus (ponendo) ponens, jota luonnollisen päättelyn systeemi|luonnollisen päättelyn systeemeissä kutsutaan yleensä implikaation eliminoimissäännöksi:
A → B
A
————
B

Erikieliset vastineet

rule of inference

englanti (English)

Lähikäsitteet

aksiooma (vieruskäsite)
päättely (funktiosuhde)
päättelysysteemi (kokonaisuuskäsite)
syllogismi (alakäsite)

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.2.2026: Filosofia:päättelysääntö. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:päättelysääntö.)

Siirry tarkastelemaan sivun muokkaushistoriaa →