毕达哥拉斯引入了命题证明、逻辑证明。（)

根据毕达哥拉斯学派的研究，证明三角形内角和为180度需要过三角形某一顶点做其对边的（)。A、垂线B

答案解析

发现并证明勾股定理的是A、苏格拉底B、泰勒斯C、柏拉图D、毕达哥拉斯

答案解析

发现并证明勾股定理的西方数学家是：A、泰勒斯B、苏格拉底C、毕达哥拉斯D、柏拉图

答案解析

真正通过证明得到“三角形勾股定理”的是哪位科学家？A、伽利略B、毕达哥拉斯C、祖冲之D、培拉里奥

答案解析

一阶逻辑是指在命题逻辑的基础之上引入存在量词和（)的一种逻辑。A 前提B 条件C 全称量词D 谓词

答案解析

独立证明法和归谬法是间接论证的两种方法 其中独立证明法是通过证明与被反驳命题相矛盾的命题

答案解析

将命题 : “只要我参加了离散数学的补考 就证明我的离散数学的绩点为 0 。” P: 我参加了离散数学的补考。 Q: 我的离散数学的绩点为 0 。符号化的结果是 ()

答案解析