ÑÝÒïÍÆÀí£¨deductive reasoning£©ÊÇÈËÀàÌØÓеÄÐÄÀí»î¶¯£¬ÔçÔÚ¹ÅÏ£À°Ê±ÆÚÈËÃǾÍÒѶÔÕâÖÖÐÄÀíÏÖÏóÓÐÁËŨºñµÄÑо¿ÐËȤ¡£Ä¿Ç°£¬ÈËÃǶÔÑÝÒïÍÆÀíµÄÀí½âÈÔÈ»Àë²»¿ªÂ߼ѧ¶ÔËüËù×÷³öµÄ½ç¶¨¡£Òò´Ë£¬ÔÚ½øÒ»²½Ì½ÌÖÐÄÀíѧ¶ÔÑÝÒïÍÆÀíµÄʵ֤Ñо¿Ö®Ç°£¬ÎÒÃÇÏȽ«ÓëÑÝÒïÍÆÀíÓйصÄÂ߼ѧ֪ʶ½øÐмòÒªµÄ½éÉÜ¡£ª¥
Â߼ѧ£¨logic£¬ÓÐʱҲ³Æ×öÂß¼£©ÊÇÒ»ÃÅÒÔÍÆÀíÐÎʽΪÖ÷ÒªÑо¿¶ÔÏóµÄ¿ÆÑ§¡£°´ÆäÀúÊ··¢Õ¹µÄ²»Í¬½×¶Î£¬Í¨³£°ÑËü·ÖΪ´«Í³Âß¼£¨traditional logic£©ºÍÏÖ´úÂß¼£¨modern logic£©£¨Îâ¼Ò¹úµÈ,1993£©¡£´«Í³Âß¼ÊÇÖ¸´Ó¹ÅÏ£À°ÑÇÀïÊ¿¶àµÂ£¨Aristotle£©¿ª´´ÖÁ19ÊÀ¼Í½øÈëÏÖ´ú·¢Õ¹½×¶ÎÒÔǰËù·¢Õ¹ÆðÀ´µÄÐÎʽÂß¼ÌåϵºÍÀíÂÛ£»ÏÖ´úÂß¼µÄÖ÷Á÷ÊÇÊýÀíÂß¼£¬ÊÇÒ»ÃÅÒÔÑо¿ÍÆÀí£¨reasoning£©¹æÂÉΪºËÐÄÄÚÈݲ¢¾ßÓÐÊýѧÐÔÖʵŤ¾ßÐÔѧ¿Æ£¬ÊÇÐÎʽÂß¼£¨formal logic£©µÄÏÖ´úÐÎʽ¡£ª¥
ÔÚÂ߼ѧÖУ¬ÍÆÀíÊÇÒÔÒ»¸ö»ò¼¸¸öÃüÌ⣨proposition£©Îª¸ù¾Ý»òÀíÓÉÒԵóöÒ»¸öÐÂÃüÌâµÄ˼ά¹ý³Ì¡£×÷Ϊ¸ù¾Ý»òÀíÓɵÄÄÇÒ»¸ö»ò¼¸¸öÃüÌâÊÇÍÆÀíµÄǰÌᣨpromise£©£
ÏÂÒ»Ò³£ºÔĶÁ¡¶ÑÝÒïÍÆÀíµÄº¬Òå¼°ÔÚÐÄÀíѧÑо¿ÖеĵØÎ»¡·µÄÈ«ÎÄ