题目内容
（请给出正确答案）
[主观题]
鲁宾逊提出了（）使机器定理证明成为可能
提问人：网友iamsxs
发布时间：2022-01-06
如搜索结果不匹配，请 
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“鲁宾逊提出了（）使机器定理证明成为可能”相关的问题
第7题
甲：我的百科全书指出，在1665年数学家费马去世时并未留下一个他已声明证明出来的定理的证明。这个所谓的定理很可能本身就无法被证明，因为书上说目前为止还没有一个人能够证明这个定理。因此费马在声明证明出了这个定理时或者在说谎，或者犯了什么错误。乙：你的百科全书太旧了，最近已经有人证明出了费马定理。因为这个定理是可以被证明的，所以，你认为费马或者在说谎，或者犯了错误的看法肯定是不对的。，以下哪项最准确地描述了乙的论述中的推论错误？
A.它在支持自己的结论时做出了一项论述，如果这项论述为真同时也会削弱他本身的结论。
B.它错误地假定了一个人的人格可以被用来保证他的声明的真实性。
C.把使一个结论成立的必要的论述等同于使这个结论成立的充分的论述。
D.它没有经过严格的定义就使用了“证明”这个概念。
E.它没有对一个被陈述为错误的正确的论述和一个被误认为正确的错误的论述做出明确的区分。
