Redigerer Sannhetsfunksjon (avsnitt)

==Sammenheng med algebra==
Setningslogikken hører til [[boolsk algebra]] og har således også flere fellestrekk med [[algebra]].
Parallellene blir tydelige når man forestiller seg sannhetsverdiene som tall (''usann'' = 0, ''sann'' > 0), den inklusive disjunksjonen som [[addisjon]] («+») og konjunksjonen som [[multiplikasjon]] («·»).
Nå ser man at multiplikasjonen (konjunksjonen) av flere tall (utsagn) blir null (usant), hvis minst ett av tallene (utsagnene) er null (usant).
Derimot er addisjonen (disjunksjonen) av flere tall (utsagn) større enn null (sann), hvis minst ett av tallene (utsagnene) er større enn null (sant).
Også den [[kommutativ lov|kommutative]], [[assosiativ lov|assosiative]] og den [[distributiv lov|distributive lov]] gjelder for både addisjon og multiplikasjon på den ene siden, og inklusiv disjunksjon og konjunksjon på den andre siden.

{{Setningslogikk}}
{{Autoritetsdata}}

[[Kategori:Logikk]]