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

在一阶逻辑中自然推理系统NS中构造下面的推理的证明：不存在不能表示成分数的有理数，无理数都不能表示成分数，所以...

问答题在一阶逻辑中自然推理系统N_S中构造下面的推理的证明：不存在不能表示成分数的有理数，无理数都不能表示成分数，所以，无理数都不是有理数。

设A，B都是含命题变项p1，p2，...pn的公式，已知A∨B是重言式，能得出A与B都是重言式的结论吗？

问答题设A，B都是含命题变项p₁，p₂，...p_n的公式，已知A∨B是重言式，能得出A与B都是重言式的结论吗？

求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得gcd（130，450）=1...

问答题求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得gcd（130，450）=130x+450y。