수학용어 정리

분류없음 2013/09/05 05:51

출처 : http://www.proofmood.com/etc/logic_glossary.html
한글영어
가설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때면이


저작자 표시


티스토리 툴바