【判断题】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型为重言式。
【简答题】
判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
【简答题】
判断公式“xy(F(x) ùG(y) ?H(x,y))”的类型:[填空1]
【简答题】
实数集合里,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(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))”的真值:[填空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]
【单选题】
以下程序段的运行结果是( )。
for(y=1;y) y=((x=3*y,x+1),x-1);
printf(x=%d,y=%d,x,y);
【判断题】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xF(g(x,a),x)”的真值为真。
【判断题】
自然数里,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))”的真值为假。