natural deduction
Tieteen termipankista
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
luonnollisen päättelyn systeemi (Filosofia)
päättelysysteemi, joka koostuu tyypillisesti pelkistä päättelysäännöistä, joita on kaksi jokaista loogista vakiota kohden, nk. tuonti- ja eliminointisäännöt
Kieliopillinen koodaus (englanti)
Sanaluokka | substantiivi |
Suku | |
Alkuperä |
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 22.12.2024: Nimitys:natural deduction.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:natural deduction.)