shù xué yǔ yìng yòng shù xué : wén xué xiě zuò : xuān chuán yú lùn xué > zhí jiē tuī lǐ



mùlù ·No. 1 ·No. 2 ·bǎi kē cí diǎn ·gèngduōjiéguǒ... No. 1 　　“ jiànjiē tuī lǐ ” de duìchèn。 qián tí zhǐ yòu yī gè pàn duàn de tuī lǐ。 zhù yào de yòu： (1) qián tí shì yī gè xìng zhì pàn duàn de zhí jiē tuī lǐ ， bāo kuò huàn zhì fǎ、 huàn wèi fǎ、 huàn zhì wèi fǎ děng。 (2) qián tí shì yī gè guān xì pàn duàn de zhí jiē tuī lǐ 。 rú：“ a bǐ b dà， suǒ yǐ， b bǐ a xiǎo。” (3) qián tí shì yī gè jiǎ yán pàn duàn de zhí jiē tuī lǐ 。 rú yóu“ rú guǒ liǎng gè sān jiǎo xíng quán děng， nà me tā men de duì yìng jiǎo xiāng děng” tuī chū“ zhǐ yòu liǎng gè sān jiǎo xíng de duì yìng jiǎo xiāng děng， zhè liǎng gè sān jiǎo xíng cái quán děng”。 No. 2 　　 zhí jiē tuī lǐ 　　immediateinference 　　 chuán tǒng luó ji lǐ mǒu xiē zhǐ yòu yī gè qián tí de yǎn yì tuī lǐ。 zhí jiē tuī lǐ zhù yào bāo kuò 3 lèi： ① gēn jù zhí yán mìng tí de duì yìng guān xì de tuī lǐ， yòu 16 zhǒng xíng shì。 ② huàn zhì hé huàn wèi。 chuán tǒng luó ji chēng zhè lèi tuī lǐ wéi eduction， yì wéi yǐn shēn、 tuī duàn， yě yì wéi zhí jiē tuī lǐ 。 duì zhí yán mìng tí jiāo tì shǐ yòng huàn zhì huàn wèi kě yǐ dé dào gè zhǒng jié lùn， jiàn xià biǎo。 zài rì cháng sī wéi zhōng róng yì fā shēng de cuò wù shì cóng sap tuī chū pas。 xiàn dài luó ji rèn wéi， huàn zhì hé sep、 sip de huàn wèi shì yòu xiào de， dàn rú guǒ kǎo lǜ dào kōng lèi， huàn wèi cóng quán chēng qián tí dé chū tè chēng jié lùn jiù shì wú xiào de。 ③ qí tā zhí jiē tuī lǐ 。 zhù yào yòu fù xìng fǎ hé fù zá gài niàn tuī lǐ liǎng zhǒng。 fù xìng fǎ de xíng shì wéi： suǒ yòu s shì p， suǒ yǐ， suǒ yòu as shì ap。 as zhōng de a yǔ ap zhōng de a biǎo shì tóng yī xìng zhì， fǒu zé jiù chǎn shēng qí yì 'ér tuī lǐ wú xiào。 fù zá gài niàn tuī lǐ de xíng shì wéi： fán s shì p， suǒ yǐ， fán yǔ s yòu guān xì r zhě shì yǔ p yòu guān xì r zhě。 jié lùn zhōng liǎng chù guān xì r biǎo shì tóng yī zhǒng guān xì， fǒu zé jiù huì chǎn shēng qí yì 'ér tuī lǐ wú xiào。 bǎi kē cí diǎn 　　　　 zhijie tuili 　　　　 zhí jiē tuī lǐ 　　　　 immediateinference 　　　　 chuán tǒng luó ji lǐ mǒu xiē zhǐ yòu yī gè qián tí de yǎn yì tuī lǐ。 gǔ xī là de yà lǐ shì duō dé zài《 gōng jù lùn》 zhōng tǎo lùn guò duì dāng guān xì jí huàn wèi děng zhí jiē tuī lǐ 。 　　　　 zhí jiē tuī lǐ zhù yào bāo kuò 3 lèi :① gēn jù zhí yán mìng tí de duì dāng guān xì de tuī lǐ， yòu 16 zhǒng xíng shì。 qí zhōng shǔ fǎn duì guān xì fāng miàn de , rú： SAP， suǒ yǐ， bìng fēi SEP。 shǔ máo dùn guān xì de， rú： SAP， suǒ yǐ， bìng fēi SOP； bìng fēi SAP， suǒ yǐ， SOP。 shǔ cīděngguānxì de , rú： SAP, suǒ yǐ， SIP； bìng fēi SIP, suǒ yǐ , bìng fēi SAP。 shǔ xià fǎn duì guān xì de , rú： bìng fēi SIP， suǒ yǐ， SOP。 rì cháng sī wéi zhōng róng yì fā shēng de cuò wù， shì cóng bìng fēi SAP tuī chū SEP； cóng bìng fēi SEP tuī chū SAP。 kǎo lǜ dào S kě yǐ shì kōng lèi， xiàn dài luó ji rèn wéi shàng shù gè xíng shì zhōng , zhǐ yòu 8 zhǒng gēn jù máo dùn guān xì de tuī lǐ shì yòu xiào de , ér qí tā tuī lǐ dōuwú xiào。 lì rú , cóng“ bìng fēi yòu fēi mǎ shì yòu yì de” tuī bù chū“ yòu fēi mǎ bù shì yòu yì de”。 　　　　② huàn zhì hé huàn wèi。 chuán tǒng luó ji chēng zhè lèi tuī lǐ wéi eduction, yì wéi yǐn shēn、 tuī duàn， yě yì wéi zhí jiē tuī lǐ 。 huàn zhì fēn bié yǐ SAP、 SEP、 SIP、 SOP wéi qián tí , qí jié lùn de zhì yǔ qián tí bù tóng， jié lùn de wèi xiàng wéi P'， jié lùn de liàng yǔ qián tí xiāng tóng； huàn wèi fēn bié yǐ SAP、 SEP、 SIP wéi qián tí， jié lùn de zhì yǔ qián tí xiāng tóng， jié lùn de zhù xiàng wéi P， wèi xiàng wéi S， zài qián tí zhōng bù zhōu yán de xiàng zài jié lùn zhōng yě bù zhōu yán。 dàn SOP bù néng huàn wèi。 huàn zhì hé huàn wèi kě yǐ jiāo tì jìn xíng， dé dào jié lùn de zhù xiàng wéi P' de tuī lǐ jiào huàn zhì wèi， ér dé dào jié lùn de zhù xiàng wéi S' de tuī lǐ jiào lì huàn。 lì rú ,SAP huàn zhì dé SEP'； zài huàn wèi dé P'ES； zài huàn zhì dé P'AS'， děng děng。 duì zhí yán mìng tí jiāo tì shǐ yòng huàn zhì huàn wèi kě yǐ dé dào gè zhǒng jié lùn， yòu rú xià biǎo： zài rì cháng sī wéi zhōng róng yì fā shēng de cuò wù shì cóng SAP tuī chū PAS。 ōu lā tú jiě kě yòng yǐ shuō míng huàn wèi de yòu xiào xìng， qí bù zhòu shì： xiān gěi chū qián tí wéi zhēn de tú jiě， rán hòu shuō míng zài suǒ yòu qíng kuàng xià jié lùn dū zhēn。 lì rú， SAP kě huàn wèi wéi PIS, yīn wéi SAP wéi zhēn de tú jiě shì： zài qíng kuàng i、 ii xià， PIS dū zhēn。 dàn yòu yóu yú zài qíng kuàng i、 ii xià PAS bìng fēi dū zhēn， yīn 'ér cóng SAP bù néng yòu xiào dì tuī chū PAS。 yóu yú 'ōu lā tú jiě bù shè jí quán lèi hé kōng lèi， yīn zhī bù néng yòng yǐ shuō míng huàn zhì。 ér wén 'ēn tú jiě（ jiàn luó ji dài shù） zé kě yǐ shuō míng chuán tǒng luó ji de huàn zhì hé huàn wèi。 xiàn dài luó ji rèn wéi， huàn zhì hé SEP、 SIP de huàn wèi shì yòu xiào de， dàn rú guǒ kǎo lǜ dào kōng lèi， huàn wèi cóng quán chēng qián tí dé chū tè chēng jié lùn jiù shì wú xiào de。 　　　　③ qí tā zhí jiē tuī lǐ 。 zhù yào yòu fù xìng fǎ hé fù zá gài niàn tuī lǐ liǎng zhǒng。 fù xìng fǎ de xíng shì wéi： suǒ yòu S shì P， suǒ yǐ， suǒ yòu AS shì AP。 AS zhōng de A yǔ AP zhōng de A biǎo shì tóng yī xìng zhì， fǒu zé jiù chǎn shēng qí yì 'ér tuī lǐ wú xiào。 lì rú， fán xiàng shì dòng wù , suǒ yǐ , fán xiǎo xiàng shì xiǎo dòng wù。 ruò xiǎo xiàng de xiǎo hé xiǎo dòng wù de“ xiǎo” hán yì yòu suǒ bù tóng， tuī lǐ jiù wú xiào。 fù zá gài niàn tuī lǐ de xíng shì wéi： fán S shì P, suǒ yǐ , fán yǔ S yòu guān xì R zhě shì yǔ P yòu guān xì R zhě。 jié lùn zhōng liǎng chù guān xì R biǎo shì tóng yī zhǒng guān xì , fǒu zé jiù huì chǎn shēng qí yì 'ér tuī lǐ wú xiào。 lì rú， zhé xué xì de xué shēng shì dà xué shēng， suǒ yǐ， shēn cháng gāo yú zhé xué xì xué shēng dedōu shēn cháng gāo yú dà xué shēng。 　　　　　（ zhū gé yīn tóng）