natural deduction
Ulkoasu
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 5.12.2025: Nimitys:natural deduction.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:natural deduction.)