作为推理出发点的命题称为“()”,根据前提而达到的命题则是“结论”。A.原因B.条件C.假设D.前提

第1题：

2、专家系统有三种推理方式，其中正向推理是以 （） 作为出发点，按照一定的推理策略，应用专家系统中知识库的知识，推断出结论的过程。

A．需要解决的问题

B．已知事实

C．证明结论

D．表示目标的谓词或命题

第2题：

3、一个有效三段论，其大前提是E命题，小前提是I命题。证明：结论只能是O命题。

第3题：

经验规则是在诉讼证明活动中，作为推理大前提的人们经验上总结的公认正确的判断或者命题。

第4题：

只要是有效推理，那么推理的结论一定是真命题。

第5题：

一个三段论，大前提是全称否定命题，小前提是特称肯定命题，结论是特称否定命题，该形式称为________式。