수리논리학 용어집

[홈으로]

한글	영어
가설	hypothesis
가지치기	branching
개체변수	individual variable
건전성	soundness
결론	conclusion
결합자	connective
곱인자	conjunct
공역	codomain
구문, 구문론	syntax, syntactics
(1계)구조체	(1st-order) structure
귀납	induction
귀류법	reduction to absurdity, RAA
극한단계 서수	limit ordinal
논리곱	conjunction
논리곱문	conjunction (formula)
논리식	formula
논리외적 기호	extralogical symbol
논리적 귀결관계	logical consequence relation
논리적 기호	logical symbol
논리합	disjunction
논리합문	disjunction (formula)
다음단계 서수	successor ordinal
다음수 함수	successor function
대상영역	domain, universe (of discourse)
대우	contrapositive
대체	replacement
대칭적인	symmetric
데리베이션	derivation
동등관계	equivalence (relation)
동등한	equivalent
등호	equality
때면이	when and only when
리터럴	literal
만족시키다	satisfy
만족가능한	satisfiable
만족불가능한	unsatisfiable
멱등적인	idempotent
멱집합	power set
명제	proposition, statement
명제문자	propositional letter
모델	model
모순	contradiction
모순적인	inconsistent
무모순적인	consistent
묶인변수	bound variable
문자열	string
반대칭적인	antisymmetric
반사적인	reflexive
배중률	law of excluded middle, LEM
변수배정	variable assignment
변역	range
보조기호	auxiliary symbol
부모	parent
부분논리식	subformula
부분증명	subproof
부분집합	subset
부정	negation
부정문	negation (formula)
비대칭적인	asymmetric
상수기호	constant symbol
생성단계	formation level
속성	attribute
술어	predicate
술어기호	predicate symbol
쌓아놓기	piling
아규먼트	argument
아톰논리식	atomic formula
알파벳	alphabet
애리티	arity
양방향함의	biimplication, biconditional
양화사	quantifier
언어	language
역	converse
연결사	connective
연산	operation
연역정리	deduction theorem
완전성	completeness
우선순위	priority
원소	element
의미, 의미론	semantics
의미값	semantic value
이면이	if and only if
입증하다	validate
자유변수	free variable
재귀	recursion
재귀적인	recursive
전건	antecedent
전제	premise
전칭한정기호	universal quantifier
전칭문	universal formula
정규형식	normal form
정의역	domain
존재한정기호	existential quantifier
존재문	existential formula
주석	annotation
증명	proof
증명관계	proof relation
증명시스템	proof system
진리값	truth value
진리값배정	truth value assignment
진리값 함수	truth function
진리표	truth table
참	truth
추론	inference
추론규칙	rule of inference
추이적인	transtive
치환	substitution
타당성	validity
토톨로지	tautology
터뜨리기	pop
한정기호	quantifier
한정사	determiner
함수	function
함수기호	function symbol
함의	implication, entailment
함의문	implication (formula)
합인자	disjunct
합성논리식	compound formula
항진	logically valid formula
허무조건에 의하여 성립	vacuously hold
해석	interpretation
형식증명	formal proof
형제	sibling
후건	consequent

영어	한글
alphabet	알파벳, 기호집합
annotation	주석
antecedent	전건
antisymmetric	반대칭적인
argument	아규먼트, 인수
arity	애리티
asymmetric	비대칭적인
attribute	속성
atomic formula	아톰논리식
auxiliary symbol	보조기호
biconditional	양방향함의
biimplication	양방향함의
bound variable	묶인변수
branching	가지치기
codomain	공역
completeness	완전성
compound formula	합성논리식
conclusion	결론
conjunct	곱인자
conjunction	논리곱, 논리곱문
connective	결합자, 연결사
consequent	후건
consistent	무모순적인
constant symbol	상수기호
contradiction	모순
contrapositive	대우
converse	역
deduction theorem	연역정리
derivation	데리베이션
determiner	한정사
disjunct	합인자
disjunction	논리합, 논리합문
domain	정의역, 대상영역
element	원소
entailment	함의
equality	등호
equivalence (relation)	동등관계
equivalent	동등한
existential formula	존재문
existential quantifier	존재한정기호
extralogical symbol	논리외적 기호
formal proof	형식증명
formation level	생성단계
formula	논리식
free variable	자유변수
function	함수
function symbol	함수기호
idempotent	멱등적인
if and only if	이면이
implication	함의, 함의문
inconsistent	모순적인
individual variable	개체변수
induction	귀납
inference	추론
interpretation	해석
hypothesis	가설
language	언어
law of excluded middle	배중률
LEM	배중률
limit ordinal	극한단계 서수
literal	리터럴
logical consequence relation	논리적 귀결관계
logical symbol	논리적 기호
logically valid formula	항진
model	모델
negation	부정, 부정문
normal form	정규형식
operation	연산
parent	부모
piling	쌓아놓기
power set	멱집합
predicate	술어
predicate symbol	술어기호
premise	전제
priority	우선순위
proof	증명
proof relation	증명관계
proof system	증명시스템
proposition	명제
propositional letter	명제문자
pop	터뜨리기
quantifier	양화사, 한정기호
RAA (reductio ad absurdum)	귀류법
range	변역
recursion	재귀
recursive	재귀적인
reduction to absurdity	귀류법
reflexive	반사적인
replacement	대체
rule of inference	추론규칙
satisfy	만족시키다
satisfiable	만족가능한
semantics	의미, 의미론
semantic value	의미값
sibling	형제
soundness	건전성
statement	명제
string	문자열
(1st-order) structure	(1계)구조체
successor function	다음수 함수
successor ordinal	다음단계 서수
tautology	토톨로지
transtive	추이적인
truth	참
truth function	진리값 함수
truth table	진리표
truth value	진리값
truth value assignment	진리값배정
subformula	부분논리식
subproof	부분증명
subset	부분집합
substitution	치환
symmetric	대칭적인
syntax, syntactics	구문, 구문론
universal formula	전칭문
universal quantifier	전칭한정기호
universe (of discourse)	대상영역
unsatisfiable	만족불가능한
vacuously hold	허무조건에 의하여 성립
validate	입증하다
validity	타당성
variable assignment	변수배정
when and only when	때면이