多项选择题
经典逻辑推理中用到的规则有（）
A.T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。B.P规则：在推理的任何步骤上都可引入前提。C.F规则：在推理的任何步骤上都可引入永假蕴含式。D.CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R →S来。
多项选择题 个体可以是（）
判断题 地平线效应是指在整个视线平面内，在一定距离内出现的地面上的假想线。
判断题 轮到我方走棋时，只需从若干个可以走的棋中，选择一个棋走就可以了，是一种“或”关系。
