totuusarvojärjestelmille

Totuusarvojärjestelmille, tai totuusarvojärjestelmät, ovat loogisia kehyksiä, jotka määrittelevät, miten lauseiden totuusarvoja käsitellään ja miten loogiset operaatiot vaikuttavat niihin. Perinteisin ja yleisin totuusarvojärjestelmä on klassinen logiikka, jossa jokaisella väittämällä on täsmälleen yksi totuusarvo: tosi tai epätosi. Tässä järjestelmässä pätee myös ristiriidan laki (ei voi olla samanaikaisesti totta ja epätotta) ja kolmannen poissuljetun laki (väittämän on oltava joko totta tai epätotta).

Klassisen logiikan lisäksi on olemassa monia muita totuusarvojärjestelmiä, jotka tarjoavat erilaisia tapoja käsitellä totuutta. Epäklassisiin logiikoihin kuuluvat esimerkiksi moniarvoiset logiikat, joissa lauseilla voi olla enemmän kuin kaksi totuusarvoa, kuten "mahdollinen", "tuntematon" tai eri asteita totuutta. Nämä järjestelmät ovat hyödyllisiä tilanteissa, joissa totuuden määrittely on epävarmaa tai monitulkintaista.

Neitsytlogiikat, kuten intuitiivistinen logiikka, rajoittavat klassisen logiikan joitakin periaatteita. Esimerkiksi intuitiivistisessa logiikassa kolmannen poissuljetun lakia ei yleensä hyväksytä. Epätarkkojen eli fuzzyjen logiikoiden totuusarvot ovat tyypillisesti välillä 0 ja 1, edustaen täyttä epätotuutta täyteen totuuteen asteittain. Totuusarvojärjestelmien valinta riippuu käsiteltävästä ongelmasta ja halutusta loogisesta tarkkuudesta.