| 한글 | 영어 |
|---|
| 가설 | 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 | 때면이 |
|