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
Neitsytlogiikat, kuten intuitiivistinen logiikka, rajoittavat klassisen logiikan joitakin periaatteita. Esimerkiksi intuitiivistisessa logiikassa kolmannen poissuljetun lakia ei