• 2022-06-05
    在自然推理系统P中构造下面各椎理的证明:如果小王是理科学生,则他的数学成绩一定很好,如果小王不是文科生,他一定是理科生,小王的数学成绩不好,所以小王是文科学生.
  • 设p:小王是理科学生,q:小王数学成绩好,r :小王是文科学生.前提:[tex=6.643x1.0]PFoSH+SNW3BuDVzj0w9yD7iUqDJbIeDYV9JvQ2Vr54JiJ07yhIYoNtCWB7dIgz2d[/tex]结论:r证明:①[tex=2.0x1.0]Eat4T71CLTEQwcRfiTzLqpWsbb44SQamf96NxSqD6DM=[/tex]                  前提引入②[tex=1.143x1.0]0b+D+ZOuZwU88Mkzo5pRqw==[/tex]                     前提引入③[tex=1.214x1.0]4RUcwo7NnHBSxFz7kiEJQA==[/tex]                     ①②拒取式④[tex=2.571x1.0]QlGbII0O6U/f0/4jasSPAvpYbkVXtUjaC6gGDH+uZBI=[/tex]                前提引入⑤r                        ③④拒取式

    内容

    • 0

      判断下述推理是否正确,并证明你的结论,如果他是理科学生,他必学好数学,如果他不是文科学生,他必是理科学生,他没学好数学,所以他是文科学生。以下各题是选择题,题目要求是从供选择的答案中选出填人叙述中的方框[tex=0.786x1.0]Yxbfa3mTK1muZDuxpts/xA==[/tex]内的正确答案。

    • 1

      某综合性大学只有理科与文科,理科学生多于文科学生,女生多于男生。 如果上述断定为真,则以下哪项关于该大学学生的断定也一定为真 Ⅰ.文科的女生多于文科的男生。 Ⅱ.理科的男生多于文科的男生。 Ⅲ.理科的女生多于文科的男生。 A: 只有Ⅰ和Ⅱ。 B: 只有Ⅲ。 C: 只有Ⅱ和Ⅲ。 D: Ⅰ、Ⅱ和Ⅲ。 E: 都不一定真。

    • 2

      你高中是文科生还是理科生() A: 文科 B: 理科

    • 3

      某综合性大学只有理科与文科,理科学生多于文科学生,女生多于男生。如果上述断定为真,则以下哪项关于该大学学生的断定也一定为真?(  )Ⅰ.文科的女生多于文科的男生。Ⅱ.理科的男生多于文科的男生。Ⅲ.理科的女生多于文科的男生。 A: 只有​Ⅰ和Ⅱ B: 只有Ⅲ C: 只有Ⅱ和Ⅲ D: Ⅰ、Ⅱ和Ⅲ E: Ⅰ、Ⅱ和Ⅲ都不一定是真的

    • 4

      某综合性大学理科学生多于文科学生,女生多于男生。如果上述断定是真的,则以下哪项关于该大学学生的断定也一定是真的I.文科的女生多于文科的男生。Ⅱ.理科的男生多于文科的男生。Ⅲ.理科的女生多于文科的男生。 A: 只有I和Ⅱ。 B: 只有Ⅲ。 C: 只有Ⅱ和Ⅲ。 D: I、Ⅱ和Ⅲ。 E: I、Ⅱ和Ⅲ都不一定是真的。