... 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 ... thisproblem does not arise?SolutionThe conclusion is false because the property "widely distributed over the earth" is appli-cable over a set (group of men). Not to each individual...