DEUTSCH ▼

Matematikai logika / Mathematische Logik - Wortschatz

javaslat

Satz

állítmány

Prädikat

kvantor

Quantor

tautológia

Tautologie

ellentmondás

Widerspruch

következtetés

Schlussfolgerung

modalitás

Modalität

alapigazság

Axiom

tétel

Satz

bizonyíték

nachweisen

modell

Modell

következetesség

Konsistenz

teljesség

Vollständigkeit

szilárdság

Solidität

tagadás

Negation

kötőszó

Verbindung

diszjunkció

Disjunktion

implikáció

Implikation

egyenértékűség

Gleichwertigkeit

szintaxis

Syntax

szemantika

Semantik

változó

Variable

funkció

Funktion

kapcsolat

Beziehung

domain

Domain

értelmezés

Interpretation

levonás

Abzug

következmény

Folgerung

logikai kötőszavak

logische Konnektoren

predikátumlogika

Prädikatenlogik

propozíciós logika

Aussagenlogik

elsőrendű

erster Ordnung

másodrendű

zweiter Ordnung

modellelmélet

Modelltheorie

bizonyítási elmélet

Beweistheorie

halmazelmélet

Mengenlehre

formális rendszer

formales System

metaelmélet

Metatheorie

dönthetőség

Entscheidbarkeit

rekurzió

Rekursion

fix pont

Fixpunkt

kombinatorika

Kombinatorik

automata

Automat

kiszámíthatóság

Berechenbarkeit

logikai kapu

Logikgatter

Boole-algebra

Boolesche Algebra

normálforma

Normalform

következmény

Folge

következetesség

Konsistenz

cáfolat

Widerlegung