如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学，所以他是文科学生。 证明：设P：他是理科学生； Q：他学好数学； R：他是文科学生； 本例符号化为以下形式推理： P→Q，˥R→P，⊢˥Q→R （1）P→Q P （2）˥R→P P （3）˥R→Q T（1）（2）I （4）˥Q→R T（3）E 故本例是有效论证。 以上推理是否正确。

题目

如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学，所以他是文科学生。 证明：设P：他是理科学生； Q：他学好数学； R：他是文科学生； 本例符号化为以下形式推理： P→Q，˥R→P，⊢˥Q→R （1）P→Q P （2）˥R→P P （3）˥R→Q T（1）（2）I （4）˥Q→R T（3）E 故本例是有效论证。 以上推理是否正确。

相似考题

1.下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ

2.设程序如下:includeusing namespace std;int main(){int **p,*q,r=10;q=&r;p=&am设程序如下： #include＜iostream＞ using namespace std; int main() { int **p,*q,r=10; q=&r; p=&q; cout＜＜**p+1＜＜end1; return 0; } 以上程序的输出结果是( )A． p的地址B． r的地址C．11D．运行错误

3.有以下程序include<stdio.h>int*f(int*p,int*q);main( ){int m=1,n=2,*r=&m;r=f(r,&am有以下程序include<stdio．h>int*f(int*p，int*q)；main( ){int m=1，n=2，*r=&m；r=f(r，&n)；printf(”％d＼n”，*r)；}int-f(int*P，int*q)(return(*p>*q)?p：q；)程序运行后的输出结果是______。

4."如果p，那么q;如果r，那么q;p或者r;q"这个是二难推理中的简单构成式。()

更多“如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学，所以他是文科学生。 证明：设P：他是理科学生； Q：他学好数学； R：他是文科学生； 本例符号化为以下形式推理： P→Q，˥R→P，⊢˥Q→R （1）P→Q P （2）˥R→P P （3）˥R→Q T（1）（2）I （4）˥Q→R T（3）E 故本例是有效论证。 以上推理是否正确。”相关问题

  • 第1题：

    下列推理形式中，有效式是（　）

    • A、（p∧q∧r）→（p∧r）
    • B、（（→）∧q）→p
    • C、（（p∨q）∧p）→
    • D、（（←q）∧）→q
    • E、（（p→）∧）→q

    正确答案:A,B

  • 第2题：

    在以下二难推理中，无效式是（）

    • A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）
    • B、（（（p→q）∧（r→s））∧（∨）
    • C、（（p→q）∧（p→r））∧（∨））→p
    • D、（（（p→q）∧（r→q））∧（p∨r））→q

    正确答案:C

  • 第3题：

    以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。

    • A、～（p∨q），能必然推出（～r∨～s）
    • B、（～r∨～s），能必然推出（p∨q）
    • C、（p∨q），能必然推出～（r∧s）
    • D、～（r∧s），能必然推出（～p∨～q）

    正确答案:D

  • 第4题：

    在下列选言推理形式中，无效的有（）。

    • A、（p∨q）∧p├﹁q
    • B、（pqr）∧﹁p├q∧r
    • C、（pqr）∧﹁p├qr
    • D、（p∨q∨r）∧﹁p├q∨r
    • E、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s

    正确答案:A,B

  • 第5题：

    下列推理形式中，无效的是（）。

    • A、如果p，那么r；如果非p，那么r；P或者非P；所以r
    • B、只有非P，才q；非p；所以非q
    • C、要么p，要么q；q；所以p
    • D、如果p并且q，那么r；非p或者非q；所以；非r
    • E、p并且非q，所以p

    正确答案:B,C,D

  • 第6题：

    下列推理形式中，无效的有（）。

    • A、（（p∨～q）∧q）→～p
    • B、（（p∧q）∧r）→（p∧r）
    • C、（（～p→q）∧q）→～p
    • D、（（p→q）∧（r∧p））→q
    • E、（p→q）∧（r→s）∧（q∨s））→（p∨r）

    正确答案:A,C,E

  • 第7题：

    问答题
    试判断以下各式是否为重言式。　　（1）（P→Q）→（Q→P）　　（2）P→（P→Q）　　（3）Q→（P→Q）　　（4）（P∧Q）→（P→Q）　　（5）（（P→Q）∨（R→Q））→（（P∨R）→Q）　　（6）（（P→Q）∨（（R→S））→（（P∨R）→（Q∨S））

    正确答案：
    (1)否。
    (2)是。
    (3)是。
    (4)是。
    (5)否。
    (6)否。
    重言式(Tautology)又称为永真式,永真式的取值恒为真,所以如果式子的结果为真,则是重言式,否则不是重言式。根据真值表可以快速判断出式子是否为重言式。
    解析： 暂无解析

  • 第8题：

    多选题
    下列推理形式中，无效的有（）。
    A

    （（p∨～q）∧q）→～p

    B

    （（p∧q）∧r）→（p∧r）

    C

    （（～p→q）∧q）→～p

    D

    （（p→q）∧（r∧p））→q

    E

    （p→q）∧（r→s）∧（q∨s））→（p∨r）


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

  • 第9题：

    单选题
    在以下二难推理中，无效式是（）
    A

    （（（p→q）∧（r→s））∧（p∨r））→（q∨s）

    B

    （（（p→q）∧（r→s））∧（∨）

    C

    （（p→q）∧（p→r））∧（∨））→p

    D

    （（（p→q）∧（r→q））∧（p∨r））→q


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

  • 第10题：

    单选题
    ～（p→（q∨r））等值于（）。
    A

    （p∨（～q∧r））

    B

    （p∧（～q∧～r））

    C

    （p∧（～q∨～r））

    D

    （p∨（～q∨～r）


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

  • 第11题：

    单选题
    以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。
    A

    ～（p∨q），能必然推出（～r∨～s）

    B

    （～r∨～s），能必然推出（p∨q）

    C

    （p∨q），能必然推出～（r∧s）

    D

    ～（r∧s），能必然推出（～p∨～q）


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

  • 第12题：

    多选题
    下列推理形式中，有效式是（　）
    A

    （p∧q∧r）→（p∧r）

    B

    （（→）∧q）→p

    C

    （（p∨q）∧p）→

    D

    （（←q）∧）→q

    E

    （（p→）∧）→q


    正确答案： D,A
    解析： A项为联言推理的分解式；B项为充分条件假言推理的否定后件式；C项违反了相容选言推理的“肯定一部分选言支，不能否定另一部分选言支”规则；D项违反了必要条件假言推理的“肯定前件不能肯定后件”规则；E项违反了充分条件假言推理“否定前件不能否定后件”的规则。

  • 第13题：

    下列推理形式中，无效式是（）

    • A、只有非p，才q；非p所以非q
    • B、p要么非q；q所以p
    • C、如果p且q，那么r；非p或非q，所以非r
    • D、p且非q；所以p

    正确答案:A,C

  • 第14题：

    命题形式～（p→（q←r））等值于（）。

    • A、～（（p∧q）→r）
    • B、p∧（～q∧～r）
    • C、p∧（～q∧r）
    • D、p∧（q∧～r）

    正确答案:C

  • 第15题：

    P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）

    • A、input P[3:0],Q,R;
    • B、input P,Q,R[3:0];
    • C、input P[3:0],Q[3:0],R[3:0];
    • D、input [3:0] P,[3:0]Q,[0:3]R;
    • E、input [3:0] P,Q,R;

    正确答案:E

  • 第16题：

    试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。


    正确答案: 1.所有乌鸦都不是白的。
    2.定居在海外的华人要么保留中国国籍，要么取得外国国籍。
    3.如果一个国家是法制国家，那么它在制度上是人人平等的；它在制度上不是人人平等的；所以它不是法制国家。
    4.所有民主国家都是非常关注民生的，法国是民主国家，法国是非常关注民生的。

  • 第17题：

    ～（p→（q∨r））等值于（）。

    • A、（p∨（～q∧r））
    • B、（p∧（～q∧～r））
    • C、（p∧（～q∨～r））
    • D、（p∨（～q∨～r）

    正确答案:B

  • 第18题：

    下列推理形式中，有效式是（）。

    • A、如果非p，那么非q；q；所以p
    • B、要么非p，要么q；非p；所以非q
    • C、只有非p，才q；非p；所以q
    • D、如果p，那么非q；非p；所以q
    • E、p并且q并且r；所以p并且r

    正确答案:A,B,E

  • 第19题：

    问答题
    试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。

    正确答案： 1.所有乌鸦都不是白的。
    2.定居在海外的华人要么保留中国国籍，要么取得外国国籍。
    3.如果一个国家是法制国家，那么它在制度上是人人平等的；它在制度上不是人人平等的；所以它不是法制国家。
    4.所有民主国家都是非常关注民生的，法国是民主国家，法国是非常关注民生的。
    解析： 暂无解析

  • 第20题：

    问答题
    化简下面的公式。　　（1）P∨（﹁P∨（Q∧﹁Q））　　（2）（P∧Q∧R）∨（﹁P∧Q∧R）　　（3）（（P→Q）↔（﹁Q→﹁P））∧R　　（4）（（P→Q）↔（﹁Q→﹁P））∨R

    正确答案：
    (1)1
    (2)Q∧R
    (3)R
    (4)R
    解析如下:
    (1)P∨(﹁P∨(Q∧¬Q)⇔P∨(¬P∨0)⇔P∨¬P⇔1。
    (2)(P∧Q∧R)∨(﹁P∧Q∧R)⇔(Q∧R)∧(P∨¬P)⇔Q∧R。
    (3)因为((P→Q)↔(﹁Q→﹁P))是重言式,所以((P→Q)↔(﹁Q→﹁P))∧R⇔R。
    (4)因为((P→Q)↔(﹁Q→﹁P))是重言式,所以((P→Q)↔(﹁Q→﹁P))∨R⇔R。
    解析： 暂无解析

  • 第21题：

    多选题
    下列推理形式中，有效式是（）。
    A

    如果非p，那么非q；q；所以p

    B

    要么非p，要么q；非p；所以非q

    C

    只有非p，才q；非p；所以q

    D

    如果p，那么非q；非p；所以q

    E

    p并且q并且r；所以p并且r


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

  • 第22题：

    多选题
    下列推理形式中，无效式是（）
    A

    只有非p，才q；非p所以非q

    B

    p要么非q；q所以p

    C

    如果p且q，那么r；非p或非q，所以非r

    D

    p且非q；所以p


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

  • 第23题：

    多选题
    在下列选言推理形式中，无效的有（）。
    A

    （p∨q）∧p├﹁q

    B

    （pqr）∧﹁p├q∧r

    C

    （pqr）∧﹁p├qr

    D

    （p∨q∨r）∧﹁p├q∨r

    E

    （p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s


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

  • 第24题：

    多选题
    下列推理形式中，无效的是（）。
    A

    如果p，那么r；如果非p，那么r；P或者非P；所以r

    B

    只有非P，才q；非p；所以非q

    C

    要么p，要么q；q；所以p

    D

    如果p并且q，那么r；非p或者非q；所以；非r

    E

    p并且非q，所以p


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

相关内容