Innholdsbeskrivende emne
type: Class
label: Topic @en

Humord
type: ConceptScheme

Utsagnslogikk
type: Innholdsbeskrivende emne
type: Concept
ccmapper candidates: 9
ccmapper state: accepted
created: 1994-03-21T00:00:00
modified: 2024-03-07T13:49:05
alternative label: Junktorlogikk
alternative label: Setningslogikk
alternative label: Zeroth-order logic @en
alternative label: Proposisjonslogikk
alternative label: Domslogikk
alternative label: Propositional calculculus @en
broader: Logics
definition: 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
in scheme: Humord
mapping relation: e23
mapping relation: c009970
preferred label: Propositional logic @en
preferred label: Utsegnslogikk @nn

Logics
type: Innholdsbeskrivende emne
type: Concept
narrower: Utsagnslogikk
preferred label: Logikk