luonnollisen päättelyn systeemi
Kieliopillinen koodaus (suomi)
Sanaluokka | substantiivi |
Sanamuoto | sanaliitto |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
päättelysysteemi, joka koostuu tyypillisesti pelkistä päättelysäännöistä, joita on kaksi jokaista loogista vakiota kohden, nk. tuonti- ja eliminointisäännöt
Sanaluokka | substantiivi |
Sanamuoto | sanaliitto |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
Lähdeviittaus tähän sivuun:
Tieteen termipankki 4.05.2024: Nimitys:luonnollisen päättelyn systeemi.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:luonnollisen päättelyn systeemi.)