| 释义 |
关系推理
关系推理前提和结论都是关系判断的一种演绎推理。关系推理分为直接关系推理和间接关系推理两种。直接关系推理是从一个关系判断推出另一个关系判断的关系推理，如：“李白和杜甫同时代，所以，杜甫和李白同时代。”间接关系推理是从两个关系判断推出一个关系判断的关系推理，如：“孔子早于孟子，孟子早于荀子，所以，孔子早于荀子。”根据关系的逻辑特性，直接关系推理分对称性关系推理和反对称性关系推理两种； 间接关系推理分为传递性关系推理和反传递天系推理两种。对称性关系推理依据对称性关系，以一个对称性关系判断作前提，以另一个对称性关系判断作结论，如：“小王和小张是同学； 所以，小张和小王是同学。”其公式是： aRb; 所以，bRa。反对称性关系推理依据反对称性关系，以一个关系判断作前提，以另一个关系判断作结论。如：“墨子早于庄子； 所以，庄子不早于墨子。”其公式为： aRb，所以，b非Ra。传递性关系推理依据传递性关系，以两个关系判断作前提，以另一个关系判断作结论。如：“孔子早于孟子，孟子早于荀子； 所以，孔子早于荀子。”其公式为： aRb,bRC；所以，aRC。这种推理在数学中应用较广。反传递性关系推理依据反传递性关系，以两个关系判断作前提，以另一个关系判断作结论。如：“小张比小王高一年级，小王比小李高一年级； 所以，小张不比小李高一年级。”其公式为： aRb,bRC; 所以a非RC。
|