在自然推理系统P中,推理规则通常不包括()


在自然推理系统P中,推理规则通常不包括()

A.直接证明法

B.结论引入规则

C.置换规则

D.前提引入规则

正确答案:A


Tag:规则 结论 前提 时间:2023-02-10 21:00:15