Skip to main content

Humord

Search from vocabulary

Content language

Concept information

Filosofi > Logikk > Symbolsk logikk > Predikatlogikk
Realfag > Matematikk > Symbolsk logikk > Predikatlogikk

Preferred term

Predikatlogikk  

Type

  • Innholdsbeskrivende emne

Definition

  • Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler. <wikipedia>

Broader concept

Narrower concepts

Entry terms

  • Kvantorlogikk
  • Predikater
  • Predikatkalkykler
  • Predikatkalkylar
  • Predikatkalkyle
  • Predikatlogikk

Identifier

  • HUME65322

Editorial note

  • Lukket bemerkning: ubo24

In other languages

URI

http://data.ub.uio.no/humord/c65322

Download this concept:

RDF/XML TURTLE JSON-LD Created 4/4/24, last modified 4/4/24