luon­nol­li­sen ­päät­te­lyn ­sys­tee­misubstantiivi

1. 1.(Filosofia)päättelysysteemi, joka koostuu tyypillisesti pelkistä päättelysäännöistä, joita on kaksi jokaista loogista vakiota kohden, nk. tuonti- ja eliminointisäännöt

Liittyvät sanat