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

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

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

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

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

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

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