【简答题】【消耗次数:1】
判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
参考答案:
复制
纠错
相关题目
【简答题】 判断公式“xy(F(x) ùG(y) ?H(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]
【简答题】 实数集合里,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。公式“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。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
①  正确
②  错误
【简答题】 判断公式“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。公式“$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。公式“xF(g(x,a),x)”的真值为真。
①  正确
②  错误
【单选题】 在公式()F(x,y)→(y)G(x,y)中变元x是(   )
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
随机题目
【单选题】 I set a special account at the bank because _______ pay my tuition by myself.
①  I’d like to
②  I’m planning to
③  I might
【单选题】 I’m writing to you from London in a new flat. I _______ here since 2005.
①  was
②  have been
③  is being
【单选题】 I can’t put up _______him because he is always making mistakes.
①  of
②  on
③  with
【单选题】 Inflation fell _______2% between 2000 and 2010.
①  from
②  by
③  /
【单选题】 The comsumption index increases_______6% in 2015 _______8% in 2017.
①  to, from
②  by, from
③  from, to
【单选题】 Linda_______her husband a wallet before her husband bought her a watch.
①  has bought
②  bought
③  had bought
【单选题】 The child keeps _______ for her mother outside during the meeting.
①  wait
②  to wait
③  waiting
【单选题】 Employment _______ in the past two years.
①  has gone up rapidly
②  went up rapidly
③  has risen steady
【单选题】 I’m afraid he _______find the key to this problem.
①  could never
②  never could
③  couldn’t never
【单选题】 We will fly to Guilin, _______ we plan to stay for one week.
①  that
②  where
③  which