简答题

设A表示命题“所有精通逻辑的都精通英语”,B表示“所有精通英语的不精通数学”,C表示“有些精通数学的精通逻辑”。证明:若A与B均真,则C假。

正确答案

以命题B和A分别为大小前提得:所有精通逻辑的不精通数学。
换质得:所有精通逻辑的都不是精通数学的。
换位得:所有精通数学的都不是精通逻辑的。
该命题与C相矛盾。
所以,如果A和B均真,那么C为假。

答案解析

相似试题
  • 设“A命题与B命题具有矛盾关系”、“B命题与C命题也具有矛盾关系”,则A命题与C命题具有()。

    填空题查看答案

  • 设A为一个命题,对于任意命题B而言,若要使得“只有A,才B”为真,则A的真假值必须是()

    单选题查看答案

  • 对下列命题进行换质位,并用公式表示之: 1、A厂所有的技术人员都是勤奋学习的。 2、有些大学生不是南方人。 3、丙厂所有的产品都不是出口产品。 4、没有事物不是运动的。 5、A歌舞团所有的演员都不是大学毕业的。

    简答题查看答案

  • 如果A与B两个命题的变项相同,则它们的常项()

    单选题查看答案

  • 用p、q、r,,等分别表示不同内容的简单命题,并用符号表示其逻辑联结词,写出“曹丕和曹植都是文学家。”复合命题的逻辑形式是什么?

    简答题查看答案

  • “甲乙二人中至少有一个人是一等奖获得者”,该语句所表达的命题,可用公式表示为()

    单选题查看答案

  • 同时肯定下列ABC三个命题,是否违反逻辑基本规律的要求?为什么?A:MEB:SAMC://SI

    简答题查看答案

  • 已知一个三段论的大前提是A命题,小前提是O命题,如果要使之得出必然有效的结论,则此三段论只能是()

    单选题查看答案

  • 用欧拉图表示性质命题的主项(S)和谓项(P)的关系。已知“所有S都是P”为假,请用欧拉图表示S和P之间的各种关系,并举出实例。

    简答题查看答案