是指随后出现的命题，是指结果，它包含在“那么……”分句中。

是指一个系统，这个系统负责对分析命题或陈述的推理进行分类。

另一种普遍的演绎推理任务，它是由两个陈述和一个结论构成。

是一种最普遍的演绎推理任务。

为了解决目标问题，应该参考过去解决过的类似问题，即所谓源问题。