수학용어 정리

출처 : 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 때면이