问答题

在命题逻辑自然推理系统P中构造下面推理的证明:
√2是有理数或无理数,若√2是有理数,则2能整除3,若√2是无理数,则√3也是无理数,而2不能整除3,所以,√2和√3都是无理数。


您可能感兴趣的试卷

你可能感兴趣的试题