... Kỹ Thuật Máy TínhTutorial 6PREDICATE LOGIC andSTRUCTURED KNOWLEDGEQuestion 1:Wrong in:¬gt(5, 2) ∨ ¬succ(y, 2) combines with 6¬gt(x, y) ∨ ¬gt(y, z) ∨ gt(x, z) by the substitution5/x, y/zThis ... wrong with the following argument:• Men are widely distributed over the earth.• Socrates is a man.• Therefore, Socrates is widely distributed over the earth.How should the facts represented ... b)5c.MOUSE(b)Resolution5c b/z 2 6.¬HAV E(x, y) ∨ ¬CAT(y) ∨ ¬HAV E(x, b)5b John/x 6 7. ¬HAV E(John, y) ∨ ¬CAT (y)4b a/y 7 8.¬HAV E(John, a) ∨ HOU N D(a)4a 8 9.HOW L(a)3 a/y 9 10.¬LS(x) ∨ ¬HAV E(x,...