DEUTSCH ▼

Mathematische Logik / Lógica Matemática - Wortschatz

Satz

proposição

Prädikat

predicado

Quantor

quantificador

Tautologie

tautologia

Widerspruch

contradição

Schlussfolgerung

inferência

Modalität

modalidade

Axiom

axioma

Satz

teorema

nachweisen

prova

Modell

modelo

Konsistenz

consistência

Vollständigkeit

completude

Solidität

solidez

Negation

negação

Verbindung

conjunção

Disjunktion

disjunção

Implikation

implicação

Gleichwertigkeit

equivalência

Syntax

sintaxe

Semantik

semântica

Variable

variável

Funktion

função

Beziehung

relação

Domain

domínio

Interpretation

interpretação

Abzug

dedução

Folgerung

implicação

logische Konnektoren

conectivos lógicos

Prädikatenlogik

lógica de predicados

Aussagenlogik

lógica proposicional

erster Ordnung

primeira ordem

zweiter Ordnung

segunda ordem

Modelltheorie

teoria do modelo

Beweistheorie

teoria da prova

Mengenlehre

teoria dos conjuntos

formales System

sistema formal

Metatheorie

metateoria

Entscheidbarkeit

decidibilidade

Rekursion

recursão

Fixpunkt

ponto fixo

Kombinatorik

combinatória

Automat

autômato

Berechenbarkeit

computabilidade

Logikgatter

porta lógica

Boolesche Algebra

Álgebra booleana

Normalform

forma normal

Folge

conseqüência

Konsistenz

consistência

Widerlegung

refutação