They believe that Europe needs a common foreign and security ____. A) tendency B) agency C) fluency D) policy
查看答案
Good teachers should ask questions that ____ students to think. A) stimulate B) arouse C) contrast D) compare
There were no injuries and damage to the building was ____. A) minimum B) minimal C) maximal D) maximum
3.1判断下列公式是否为可合一,若可合一,则求出其最一般合一。(1)P(a,b),P(x,y)(2)P(f(x),b),P(y,z)(3)P(f(x),y),P(y,f(b))(4)P(f(y),y,x),P(x,f(a),f(b))(5)P(x,y),P(y,x)
3.2把下列谓词公式化成子句集:(1)(ꓯx)(ꓯy)(P(x,y)∧Q(x,y))(2)(ꓯx)(ꓯy)(P(x,y)→Q(x,y))(3)(ꓯx)(Ǝy)(P(x,y)∨(Q(x,y)→R(x,y)))(4)(ꓯx)(ꓯy)(z)(PƎ(x,y)→Q(x,y)∨R(x,z))