Filosofia:totuusfunktionaalinen

    Tieteen termipankista

    totuusfunktionaalinen

    totuusfunktionaalinen
    Määritelmä funktio, jonka argumentteina on aina jokin totuusarvojen sarja ja arvona totuusarvo
    Selite Esimerkki totuusfunktionaaliseta operaattorista on lauselogiikan materiaalinen implikaatio. Totuufunktionaalisessa logiikassa, kuten lauselogiikassa, kompleksiset väitelauseet muodostuvat totuusfunktioista ja niiden argumentteinä olevista atomisten (tai kompleksisten) väitelauseiden totuusarvoista. Kompleksisten väitelauseiden totuusarvot voidaan sitten "laskea" niiden osatekijöiden totuusarvoista. Kaikki lauselogiikan totuusfunktiot voidaan esittää niin sanotulla totuustaulukon menetelmällä.

    Lähikäsitteet

    Käytetyt lähteet

    Juti2001

    Alaviitteet

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 28.3.2024: Filosofia:totuusfunktionaalinen. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:totuusfunktionaalinen.)