【判断题】【消耗次数：1】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型为重言式。
①
正确
②
错误
参考答案：
复制
纠错
相关题目
【简答题】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型：[填空1]
【简答题】
判断公式“xy(F(x, y) ? F(y, x))”的类型：[填空1]
【简答题】
判断公式“xy(F(x) ùG(y) ?H(x,y))”的类型：[填空1]
【简答题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值：[填空1]
【判断题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
①
正确
②
错误
【判断题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“xy(F(f(x,y),a) ?G(x,y))”的真值为假。
①
正确
②
错误
随机题目