SVENSKA ▼

Matematisk logik / Mathematische Logik - Lexikon

förslag

Satz

predikat

Prädikat

kvantifierare

Quantor

tautologi

Tautologie

motsägelse

Widerspruch

slutledning

Schlussfolgerung

modalitet

Modalität

axiom

Axiom

sats

Satz

bevis

nachweisen

modell

Modell

konsistens

Konsistenz

fullständighet

Vollständigkeit

sundhet

Solidität

negation

Negation

samband

Verbindung

åtskiljande

Disjunktion

inblandning

Implikation

likvärdighet

Gleichwertigkeit

syntax

Syntax

semantik

Semantik

variabel

Variable

fungera

Funktion

relation

Beziehung

domän

Domain

tolkning

Interpretation

avdrag

Abzug

medverkan

Folgerung

logiska konnektiv

logische Konnektoren

predikatlogik

Prädikatenlogik

propositionell logik

Aussagenlogik

första ordningen

erster Ordnung

andra ordningens

zweiter Ordnung

modellteori

Modelltheorie

bevisteori

Beweistheorie

mängdlära

Mengenlehre

formellt system

formales System

metateori

Metatheorie

beslutsförmåga

Entscheidbarkeit

rekursion

Rekursion

fixpunkt

Fixpunkt

kombinatorik

Kombinatorik

automat

Automat

beräkningsbarhet

Berechenbarkeit

logisk grind

Logikgatter

Boolesk algebra

Boolesche Algebra

normal form

Normalform

följd

Folge

konsistens

Konsistenz

vederläggning

Widerlegung