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