根据克拉维的观点，为了证明一个命题，可以证明其（）是错误的。 A、一部分 B、前提条件C、反面 D、语序结构

题目

根据克拉维的观点，为了证明一个命题，可以证明其（）是错误的。 

  • A、一部分 
  • B、前提条件
  • C、反面 
  • D、语序结构
相似考题

1.数学命题学习可分为()阶段。A、命题获得B、命题证明C、命题学习D、命题应用

2.● 下列关于软件测试的叙述中，不正确的是（）。（）A．软件测试是为了发现错误而执行程序的过程B．测试是为了证明程序有错，而不是证明程序无错C．一个好的测试用例是在于它能发现至今未发现的错误D．一个成功的测试是发现了程序中所有的错误

3.程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

4.证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。

更多“根据克拉维的观点，为了证明一个命题，可以证明其（）是错误的。 A、一部分 B、前提条件C、反面 D、语序结构”相关问题

  • 第1题：

    Myers在1979年提出了一个重要观点，即软件测试的目的是为了______。

    A) 证明程序正确

    B) 查找程序错误

    C) 改正程序错误

    D) 验证程序无错误

    A．

    B．

    C．

    D．


    正确答案：B
    解析：Glenford J．Myers于1979年给出测试的定义为：软件测试是为发现错误而执行的一个程序或者系统的过程。同时他给出了3个关于测试的重要观点：
      ·测试是为了证明程序有错，而不是证明程序正确。
      ·一个好的测试用例在于它能发现以前未发现的错误。
      ·一个成功的测试是发现了以前未发现的错误的测试。

  • 第2题：

    数学命题学习分为()阶段。

    A、命题习得

    B、命题获得

    C、命题证明

    D、命题应用


    参考答案：BCD

  • 第3题：

    认定公民的出生时间，其证明依据的效力从高到低的顺序是医院证明、其他相关证明、户籍证明。 ( )

    参考答案：错误


    正确答案：×
    [答案] B。[解析]《民通意见》第1条规定，公民的民事权利能力自出生时开始。出生的时间以户籍证明为准；没有户籍证明的，以医院出具的出生证明为准。没有医院证明的，参照其他有关证明认定。故本题判断错误。

  • 第4题：

    没有一个宗教命题能够通过观察或实验而被证明为真。所以，无法知道任何宗教命题的真实性。为了合乎逻辑地推出上述结论，需要假设下面哪一项为前提?

    A．如果一个命题能够通过观察或实验而被证明为真，则其真实性是可以知道的。

    B．只凭观察或实验无法证实任何命题的真实性。

    C．要知道一个命题的真实性，需要通过观察或实验证明它为真。

    D．人们是通过信仰来认定宗教命题的真实性。


    正确答案：C
    解析：题干从“没有一个宗教命题能够通过观察或实验而被证明为真”推出“无法知道任何宗教命题的真实性”，说明题干将前者看作是后者的充分条件。因此，逐一考察四个选项，看哪一个选项描述了前者是后者的充分条件，则哪一个选项就是正确答案。由于选项C符合这个要求，所以正确答案是C。选项A不正确。因为题干要求“宗教命题能够通过观察或实验而被证明为真”是“知道任何宗教命题的真实性”的必要条件，而选项A却描述成了充分条件。

  • 第5题：

    下列关于反证法的认识，错误的是( )。

    A、反证法是一种间接证明命题的方法
    B、反证法的逻辑依据之一是排中律
    C、反证法的逻辑依据之一是矛盾律
    D、反证法就是证明一个命题的逆否命题

    答案：D
    解析：
    反证法是假设结论的反面成立，在已知条件和“否定结论”这个新条件下，通过逻辑推理，得出与公理、定理、题设、临时假定相矛盾的结论或自相矛盾，从而断定结论的反面不能成立，并不是证明它的逆否命题成立。

  • 第6题：

    世界的物质统一性原理的证明是（）

    • A、只通过科学的发展证明
    • B、只通过哲学的发展证明
    • C、通过哲学和科学的长期发展证明
    • D、无法证明的结论，因而是个假命题

    正确答案:C

  • 第7题：

    关于软件测试的目的，下面观点错误的是（）

    • A、为了发现错误而执行程序的过程
    • B、一个好的测试用例能够发现至今尚未发现的错误
    • C、证明程序是正确、没有错误的
    • D、一个成功的测试用例是发现了至今尚未发现的错误的测试

    正确答案:C

  • 第8题：

    根据有关规定，证明同一事实的数个证据，其证明效力一般可以怎样认定？


    正确答案: ①国家机关以及其他职能部门依职权制作的公文文书优于其他书证；
    ②鉴定结论、现场笔录、勘验笔录、档案材料以及经过公证或者登记的书证优于其他书证、视听资料和证人证言；
    ③原件、原物优于复制件、复制品；
    ④法定鉴定部门的鉴定结论优于其他鉴定部门的鉴定结论；
    ⑤法庭主持勘验所制作的勘验笔录优于其他部门主持勘验所制作的勘验笔录；
    ⑥原始证据优于传来证据；
    ⑦其他证人证言优于与当事人有亲属关系或者其他密切关系的证人提供的对该当事人有利的证言；
    ⑧出庭作证的证人证言优于未出庭作证的证人证言；
    ⑨数个种类不同、内容一致的证据优于一个孤立的证据。

  • 第9题：

    单选题
    下列关于存款证明业务描述错误的有（）。
    A

    一个账户可以开立多份存款证明

    B

    一份存款证明最多可包括7个账户的存款信息

    C

    开立存款证明时，可以根据客户的要求，选择打印旧账号和新账号。

    D

    在开立存款证明时，可分次开立同币别、同金额的存款证明


    正确答案： B
    解析： 暂无解析

  • 第10题：

    单选题
    根据克拉维的观点，为了证明一个命题，可以证明其（）是错误的。
    A

    一部分

    B

    前提条件

    C

    反面

    D

    语序结构


    正确答案： D
    解析： 暂无解析

  • 第11题：

    单选题
    关于软件测试的目的，下面观点错误的是（）
    A

    为了发现错误而执行程序的过程

    B

    一个好的测试用例能够发现至今尚未发现的错误

    C

    证明程序是正确、没有错误的

    D

    一个成功的测试用例是发现了至今尚未发现的错误的测试


    正确答案： A
    解析： 暂无解析

  • 第12题：

    单选题
    世界的物质统一性原理的证明是（）
    A

    只通过科学的发展证明

    B

    只通过哲学的发展证明

    C

    通过哲学和科学的长期发展证明

    D

    无法证明的结论，因而是个假命题


    正确答案： B
    解析： 暂无解析

  • 第13题：

    数学证明最基本的功用是()。

    A.核实命题

    B.理解命题

    C.发现命题

    D.计算命题


    参考答案：B

  • 第14题：

    数学命题教学过程的环节是:()

    A.数学命题引人的设计

    B.复习设计

    C.数学命题分析设计

    D.数学命题的证明


    正确答案:ABCD

  • 第15题：

    Myers在1979年提出了一个重要观点，即软件测试的目的是为了______。

    A．证明程序正确

    B．查找程序错误

    C．改正程序错误

    D．验证程序无错误


    正确答案：B
    解析：Glenford J. Myers于1979年给出测试的定义为：软件测试是为发现错误而执行的一个程序或者系统的过程。同时他给出了三个关于测试的重要观点：
      测试是为了证明程序有错，而不是证明程序正确。
      一个好的测试用例在于它能发现以前未发现的错误。
      一个成功的测试是发现了以前未发现的错误的测试。

  • 第16题：

    下列关于反证法的认识，错误的是（ ）.


    A.反证法是一种间接证明命题的方法
    B.反证法是逻辑依据之一是排中律
    C.反证法的逻辑依据之一是矛盾律
    D.反证法就是证明一个命题的逆否命题

    答案：D
    解析：
    本题主要考查推理与证明。

    反证法是“间接证明法”一类，是从反方向证明的证明方法，即：肯定题设而否定结论，从而得出矛盾。反证法就是从反论题入手，把命题结论的否定当作条件，使之得到与条件相矛盾，肯定了命题的结论，从而使命题获得了证明。由此可知，反证法的理论依据可概括成形式逻辑的两个基本规律——矛盾律和排中律。故A、B、C三项正确。

  • 第17题：

    关于软件测试，下列说法正确的是（）

    • A、软件测试是为了发现错误而执行程序的过程
    • B、测试是为了证明程序有错，而不是证明程序无错
    • C、一个好的测试用例是在于它能发现至今未发现的错误
    • D、一个成功的测试是发现了程序中所有的错误

    正确答案:A,B,C

  • 第18题：

    一个命题的产生是需要有科学的理论基础和实践证明的。（）都有其存在的（），如过脱离了这个客观条件的变化，一味坚持不合时宜的观念，就会犯极大的错误。

    • A、任何命题
    • B、客观条件
    • C、理由
    • D、任何判断

    正确答案:A,B

  • 第19题：

    “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。

    • A、鲁道夫
    • B、根岑
    • C、胡尔维茨
    • D、马克劳林

    正确答案:B

  • 第20题：

    下列关于存款证明业务描述错误的有（）。

    • A、一个账户可以开立多份存款证明
    • B、一份存款证明最多可包括7个账户的存款信息
    • C、开立存款证明时，可以根据客户的要求，选择打印旧账号和新账号。
    • D、在开立存款证明时，可分次开立同币别、同金额的存款证明

    正确答案:C

  • 第21题：

    单选题
    下列关于3.0中存款证明业务描述错误的是（）。
    A

    一个账户可以开立多份存款证明

    B

    一份存款证明最多可包括7个账户的存款信息

    C

    开立存款证明时，可以根据客户的要求，选择打印旧账号和新账号

    D

    存款手工收回后，存款证明的状态由“使用”变为“外部作废”


    正确答案： A
    解析： 暂无解析

  • 第22题：

    多选题
    一个命题的产生是需要有科学的理论基础和实践证明的。（）都有其存在的（），如过脱离了这个客观条件的变化，一味坚持不合时宜的观念，就会犯极大的错误。
    A

    任何命题

    B

    客观条件

    C

    理由

    D

    任何判断


    正确答案： B,C
    解析： 暂无解析

  • 第23题：

    多选题
    根据证明对象所属领域不同，可以将证明分为（）。
    A

    结果意义上的证明

    B

    行为意义上的证明

    C

    自由证明

    D

    严格证明


    正确答案： A,B
    解析： 暂无解析

相关内容