Humord
type: ConceptScheme

Symbolic logic
type: Innholdsbeskrivende emne
type: Concept
narrower: Predikatlogikk
preferred label: Symbolsk logikk

Relasjonsalgebra
type: Innholdsbeskrivende emne
type: Concept
broader: Predikatlogikk
preferred label: Relational algebra @en

Predikatlogikk
type: Innholdsbeskrivende emne
type: Concept
created: 2024-04-04T00:00:00
modified: 2024-04-04T07:53:23
alternative label: Predikater
alternative label: Predikatkalkykler
alternative label: Predikatkalkylar @nn
alternative label: Predikatkalkyle
alternative label: Kvantorlogikk
broader: Symbolic logic
definition: Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler. <wikipedia>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
narrower: Relasjonsalgebra
preferred label: Predicate logic @en

Innholdsbeskrivende emne
type: Class
label: Topic @en