DEUTSCH ▼

수학적 논리 / Mathematische Logik - Wortschatz

제안

Satz

술부

Prädikat

양화사

Quantor

동어 반복

Tautologie

모순

Widerspruch

추론

Schlussfolgerung

모달리티

Modalität

공리

Axiom

정리

Satz

증거

nachweisen

모델

Modell

일관성

Konsistenz

완전성

Vollständigkeit

건강

Solidität

부정

Negation

접속사

Verbindung

분리

Disjunktion

함축

Implikation

등가

Gleichwertigkeit

통사론

Syntax

의미론

Semantik

변하기 쉬운

Variable

기능

Funktion

관계

Beziehung

도메인

Domain

해석

Interpretation

공제

Abzug

수반

Folgerung

논리적 연결사

logische Konnektoren

술어 논리

Prädikatenlogik

명제 논리

Aussagenlogik

1차

erster Ordnung

2차

zweiter Ordnung

모델 이론

Modelltheorie

증명 이론

Beweistheorie

집합론

Mengenlehre

공식 시스템

formales System

메타이론

Metatheorie

결정 가능성

Entscheidbarkeit

재귀

Rekursion

고정점

Fixpunkt

조합론

Kombinatorik

자동 장치

Automat

계산 가능성

Berechenbarkeit

논리 게이트

Logikgatter

부울 대수

Boolesche Algebra

정규형

Normalform

결과

Folge

일관성

Konsistenz

논박

Widerlegung