Hopp til hovudinnhaldet

Humord

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

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

Tilrådd term

Predikatlogikk  

Type

  • Innholdsbeskrivende emne

Definisjon

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

Overordna omgrep

Underordna omgrep

Tilvisingsterm

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

Identifikator

  • HUME65322

Redaksjonelle merknadar

  • Lukket bemerkning: ubo24

På andre språk

URI

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

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 04.04.2024, sist endra 04.04.2024