Logic  Term

귀납법 (Induction)

긍정식 (Modus Ponens)

기호논리학 (Symbolic Logic)

논리식 (Wff)

논리학 (Logic)

단일화 (Unification)

대우 (contrapositive) : ∼Q → ∼P

도출법 (Resolution)

동치 (Equivalence)

드 모르간(De Morgan) 법칙

명제논리 (Propositional Logic)

명제함수 (Proposition Function)

모순명제 (Contradiction)

부정식 (Modus Tollens)

삼단논법 (Syllogism)

상정논법 (Abduction)

수리논리학 (Mathematical Logic)

수학 (Mathematics)

술어논리 (Predicate Logic)

심리학 (Psychology)

양상논리 (Modal Logic)

역 (converse) : Q → P

연결사 (Connective)

연역법 (Deduction)

유추 (Analogy)

이 (inverse) : ∼P → ∼Q\

인공지능 (Artificial Intelligence)

인식론 (Epistemology)

일부진명제 (Contingency)\

일차논리 (First-order Predicate Calculus)

정량자 (Quantifier)

정리증명 (Theorem Proving)

정언명제 (Categorical Proposition)

조건명제 (Implication)

지식표현 (Knowledge Representation)

진리표 (Truth Table)

철학 (Philosophy)   

추론 (Reasoning)

추론 규칙 (Inference Rule)

학습 (Learning)

항진명제 (Tautology)

확률 (Probability)

Horn 절 (Horn clause)

PROLOG