本文要点两种推理：演绎deduction和推论inference这两种推理方式（正推-实践常识和反证-常识批判）分别适用于在语义网络、认知地图工具分别用于肯定-求同（演绎推理-”有限解“必然的推理两种：推论corollaries （可能的）和定论theorems（必然的））和否定-求异（推论推理--”无限解“的可