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