totuusarvoa

Totuusarvo on käsite logiikassa ja semantiikassa, jolla merkitään lauseen todenperäisyyden aste. Yleisimmin totuusarvoksi määritellään, onko väite tosi vai epätosi sen tulkinnassa. Klassisen kahden arvon logiikan tapauksessa jokaiselle lauseelle annetaan kaksi mahdollista totuusarvoa: tosi tai epätosi.

Semantiikassa totuusarvot määrätään totuusarvotulkinnalla tai mallin mukaan. Lausuma saa totuusarvon riippuen sen sisällöstä ja kontekstista sekä käytetyistä logiikan konnektiiveista kuten JA, TAI ja EI. Totuusarvotaulukot kuvaavat, miten yhdistetään totuusarvot osalausekkeista.

Moniarvoiset ja epäklassiset logiikat laajentavat totuusarvoja. Esimerkiksi kolmenarvoisessa logiikassa on arvoja tosi, epätosi ja tuntematon. On olemassa myös lukuisia arvojärjestelmiä, joissa totuus on järjestetty epälineaarisesti. Fuzzy-logiikassa totuusarvot voivat sijoittua välille 0 ja 1, mikä kuvaa totuusasteen epävarmuutta.

Käyttökohteita: totuusarvoja käytetään matemaattisessa logiikassa, tietojenkäsittelyssä, ohjelmistojen muodollisissa spesifikaatioissa sekä tekoälyssä. Totuusarvon käsite mahdollistaa päättelemisen ja lausumien vertaamisen eri tulkintoihin.