Filosofia:totuusfunktionaalinen
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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:totuusfunktionaalinen. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:totuusfunktionaalinen.)