Filosofia:päättelysääntö

    Tieteen termipankista

    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

    Erikieliset vastineet

    rule of inferenceenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    Rantala&Virtanen2003

    Alaviitteet

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