Innholdsbeskrivende emne
Topic
Humord
Junktorlogikk
Setningslogikk
Zeroth-order logic
Proposisjonslogikk
Domslogikk
Propositional calculculus
Logics
Logikk
Setningslogikk er en grunnleggende gren av den moderne logikken. Den ligger i skjæringspunktet mellom filosofi og matematikk idet den benytter seg av algebraiske metoder for å belyse sannheten av utsagn eller setninger. <wikipedia
Propositional logic
Utsagnslogikk
Utsegnslogikk