共用题干题用等价演算证明题2中的命题公式是重言式 ((p∨q)∧(p→r)∧(q→r))→r

含多少种非同构的圈。

问答题含多少种非同构的圈。

设下面所有谓词的个体域是{1，2，3} ①指出下面公式的真值： 其中，p（x）：x≥1，Q（y）：y<3，R（...

问答题

设下面所有谓词的个体域是{1，2，3}
①指出下面公式的真值：
其中，p（x）：x≥1，Q（y）：y<3，R（x，y）：x=y。
②试定义谓词p（x），Q（y），R（x，y），使上式的真值为假。

(（p→q)∧(q→r))→(p→r)

问答题(（p→q)∧(q→r))→(p→r)