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))
1)Immigrants have to adapt themselves culturally and physically to the new surroundings _____they have moved.(2010.6)A. on whichB. by whichC.into whichD. from which2)There is no evidence_____ he was on the site of the murder.(2010.6)A. whereB. thatC. whichD.how3) Jack said the construction of the subway would be completed in October , _____is a great surprise to us. (2010.12)A. this B. whatC. that D. which4) The manager said that there were two reasons_____ our sales dropped sharply last year.(2011. 12)A. becauseB. since C. whyD. while5) In fact, there are different reasons______ people are working long hours.(2012.6)A. where B. which C. why D. how6)Broadbandconnections are widely available now,_______ makes online shopping much easier. (2012.6)A. whatB. whateverC. whoD. which7) In addition to economic considerations,there are other reasons_____people work longhours.(2012.12)A.whatB.whyC.whenD.where8) We take a great pride in our campus,_____ is one of the most beautiful university settings in the country. (2013.12)A. where B. whichC. whatD.when9)We investigated other companies in the market to discover____ they handled complaintsfrom their customers. (2010.12)A.thatB. howC.whatD. where10 ) Please feel free to tell us ______ you think about our program so that we can benefit from your views and experience.(2012 .6)A.whatB. thatC. ifD. lest