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

在什么情况下，下面一段论述是真的：“说小王不会唱歌或小李不会跳舞是正确的，而说如果小王会唱歌，小李就会跳舞是不...

问答题在什么情况下，下面一段论述是真的：“说小王不会唱歌或小李不会跳舞是正确的，而说如果小王会唱歌，小李就会跳舞是不正确的。”

“π是无理数，并且，如果3是无理数，则√2也是无理数。另外，只有6能被2整除，6才能被4整除。”这一论述为真。

判断题“π是无理数，并且，如果3是无理数，则√2也是无理数。另外，只有6能被2整除，6才能被4整除。”这一论述为真。

当p，q的真值为0，r，s的真值为1时，求下列各命题公式的真值：

问答题

当p，q的真值为0，r，s的真值为1时，求下列各命题公式的真值：