(b) (i) The following two formulas are two ways of saying "all cars have four wheels": Vcar.hasFour Wheels( car) Vr.car(x) → hasFourWheels(x) With reference to how formulas in predicate logic are...

Extracted text: (b) (i) The following two formulas are two ways of saying "all cars have four wheels": Vcar.hasFour Wheels( car) Vr.car(x) → hasFourWheels(x) With reference to how formulas in predicate logic are interpreted in a universe, explain the difference between these two ways of expressing "all cars have four wheels". (ii) Assume now that the universe consists of websites and that we are working in a vocabulary with a single predicate symbol links To of arity 2, with the intended meaning that linksTo(x, y) holds when e links to y. State the following English sentences as Predicate Logic formulas in this vocabulary: 1. Every website links to itself. 2. Every website links to some other website.