Filosofia:päättelysääntö
päättelysääntö
| päättelysääntö |
Määritelmä
yleensä yksinkertainen ja intuitiivisesti hyväksyttävissä oleva sääntö, johon vetoamalla perustellaan uusi päättelyketjun askel
Selite
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
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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:päättelysääntö. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:päättelysääntö.)