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

substantiivi
Jaa

sisältää sanat: luonnollinen + päättely + systeemi

Merkitys

  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

Käännökset

  • engl.natural deduction

Englanninkieliset vastineet

  • natural deduction

Lähteet