【简答题】
判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
【简答题】
实数集合里,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(x,y))”的真值:[填空1]
【简答题】
实数集合里,a =0,f (x,y)=x-y,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(f(x,y),a))”的真值:[填空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))”的真值:[填空1]
【判断题】
实数集合里,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))”的真值为假。
【简答题】
自然数里,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]
【简答题】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型:[填空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=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xF(g(x,a),x)”的真值为真。
【单选题】
在公式()F(x,y)→(y)G(x,y)中变元x是( )