natural deduction

    Tieteen termipankista
    Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
    Aalto-yliopiston tutkimusalat
    Akustiikka ja puheteknologia
    Alkuperäiskansatutkimus
    Antiikintutkimus
    Antropologia
    Arkeologia
    Arkkitehtuuri
    Automaatio ja säätötekniikka
    Avaruustiede ja -tekniikka
    Avoin tiede
    Biologia
    Biomittaaminen ja bioelektroniikka
    Biotekniikka
    Biotuotetekniikka
    Clean Energy Research
    Digital Humanities
    Elektroniikka
    Elektroniset ja digitaaliset järjestelmät
    Elintarviketieteet
    Elokuva- ja televisiotutkimus
    Eläinlääketiede
    Eläintiede
    Energiatekniikka
    Epidemiologia
    Esittävät taiteet
    Estetiikka
    Etelä-Aasian tutkimus
    Filosofia
    Folkloristiikka
    Fotoniikka ja nanotekniikka
    Fysiikka
    Game Studies
    Geofysiikka
    Geoinformatiikka
    Geologia
    Historia
    Ihmistieteet
    Ilmatiede
    Kamppailuntutkimus
    Kasvatustieteet
    Kasvitiede
    Kaupunkitutkimus
    Kemia
    Kestävyystiede
    Kieliteknologia
    Kielitiede
    Kiinteistötalous
    Kirjallisuudentutkimus
    Kliininen neurofysiologia
    Konetekniikka
    Korp-linkki-testi
    Kosmologia
    Käyttäytymistieteet
    Käännöstiede
    Language Technology
    Maankäytön suunnittelu ja liikennetekniikka
    Maantiede
    Maisemantutkimus
    Matematiikka
    Materiaalitiede
    Mesoamerikan tutkimus
    Mikrobiologia
    Neurotiede ja lääketieteellinen tekniikka
    Oikeustiede
    Perinnöntutkimus
    Pohjois-Amerikan tutkimus
    Politologi
    Radiotiede ja -tekniikka
    Rakennustekniikka
    Ravitsemustiede
    Robotiikka ja autonomiset järjestelmät
    Saamentutkimus
    Seismologia
    Selkokielen tutkimus
    Semiotiikka
    Sienitiede
    Signaalinkäsittely ja data-analyysi
    Sosiaalipsykologia
    Språkvetenskap
    Sukupuolentutkimus
    Systeemi- ja operaatiotutkimus
    Sähkötekniikka
    Taidehistoria
    Taidekasvatus
    Taloustiede
    Teknillinen fysiikka
    Tekstuaalitieteet
    Teologia
    Terminologiako bankos
    Terminologiaoppi
    Terveystieteet
    Tiedeneuvonta
    Tietojenkäsittelytiede
    Tietoliikenne- ja tietoverkkotekniikka
    Tietotekniikka
    Tilastotiede
    Tuotantotalous
    Tähtitiede
    Uskontotiede
    Viestintä
    Vuorovaikutteiset järjestelmät
    Yleinen valtio-oppi
    Ympäristötekniikka
    Ympäristötieteet
    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

    Lue koko artikkeli

    Kieliopillinen koodaus (englanti)

    Sanaluokka substantiivi
    Suku
    Alkuperä

    Alaviite

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 21.11.2024: Nimitys:natural deduction. (Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:natural deduction.)

    Noudettu kohteesta ”https://tieteentermipankki.fi/w/index.php?title=Nimitys:natural_deduction&oldid=501311”