问答题

计算题

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

【参考答案】