多项选择题
下列属于归结演绎推理中的删除策略的是（）
A.重言式删除法B.纯文字删除法C.包孕删除法D.永真删除法
多项选择题 推理控制策略包括（）
多项选择题 推理方向包括（）
多项选择题 经典逻辑推理中用到的规则有（）
