公式（p∧q）→￢p的成真赋值为（）。

公式p∨￢q的成真赋值为（）。

填空题公式p∨￢q的成真赋值为（）。

公式￢p→q的成真赋值为（）。

填空题公式￢p→q的成真赋值为（）。

证明在命题逻辑自然推理系统P中构造下面推理的证明：√2是有理数或无理数。若√2是有理数，则2能整除3，若√2是...

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