《几何原本》的内容中，有三类属于推理的初始前提，无法证明，也无需证明，其中包括（）。
ABD
举一反三
内容
- 0
《几何原本》中只有几何问题的公理化方法证明，但没有微积分的思想方法的应用。
- 1
牛顿三个运动定律是牛顿的演绎推理力学体系的原始前提，无法证明，也就是希腊三杰所说的“不言自明”的
- 2
欧式几何的第五公设无法证明。
- 3
在自然推理系统 [tex=1.214x1.214]qAleWqgMZntB9lU9kdgZKg==[/tex] 中，构造下列推理的证明(可以使用附加前提证明法).[br][/br]前提 [tex=7.643x1.357]Fh51pf0+6G7c1Vblq9bxY4IW5TvNZ8oK4i9yK2i2FnkpuvBRQvVV+0fnE9ML+nIc[/tex]结论 [tex=8.0x1.357]kBbrF8ISflsj6YFvNy5yNfVBpSvhI3+uWk226FRiqCDbQCixkiR2pLmRowFb9UwE[/tex]
- 4
有一推理,前提是(p→q)∧¬q;结论是¬p。以下哪一项有关上述推理NP系统证明的陈述是错误的?() A: 由于结论是￢p，所以，可以用否定引入规则来完成证明的最后一步。 B: 由于前提中有蕴涵式，所以，证明中可以用蕴涵消去规则来合理利用前提。 C: 前提是一个合取式，所以，在证明中可以用合取引入规则来合理利用前提。 D: 前提￢q在证明的过程中可以帮助构造证明所需要的矛盾。