问答题
设下面所有谓词的个体域是{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)
问答题 证明彼得松图的边色数x’=4。
问答题 设个体域D是所有整数,令P(x,y,z):xy=z;E(x,y):x=y;C(x,y):x>y。试将命题“若x≤y=和x≥y,则x=y”符号化。