问答题 在命题逻辑自然推理系统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″，*″〉的同态。