问答题
在命题逻辑自然推理系统P中构造下面推理的证明： √2是有理数或无理数，若√2是有理数，则2能整除3，若√2是无理数，则√3也是无理数，而2不能整除3，所以，√2和√3都是无理数。
问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试证：（a⊕b′）（b⊕c′）（c⊕a′）=（a′⊕b）（b′⊕c）（c′⊕a）。
问答题 设f，g都是〈S，*〉到〈S′，*′〉的同态和〈S′，*′〉到〈S″，*″〉的同态，证明：gοf是〈S，*〉到〈S″，*″〉的同态。
问答题 在自然推理系统P中用附加前提法证明以下推理： 前提：p→（q→r），s→p，q 结论：s→r
