Tieteen termipankki
fi totuusfunktionaalinen
määritelmä
funktio, jonka argumentteina on aina jokin totuusarvojen sarja ja arvona totuusarvo
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ä.
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ä.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: identtisten erottumattomuus ja salva veritate -periaate
Lähikäsitteet: totuusarvo ja totuustaulukko