Question 4 An engineering system is such that for the inputs to have the needed effect, the modelled logical problem vx(T(x) → (C(x) A E(x))) must have a truth value (T), where F(x) denote "x is in excellent condition", and let 7(x) denote "x is a tool". The domain of discourse is the set of objects in a company's garage. Use the above scenario to solve questions 4a) and 4b). a) Translate the above modelled logical problem into plain English. Major Topic Blooms Score Applications of Predicate Logic Major Topic Applications of Predicate Logic Designation b) Will the inputs from the company's garage have the needed effects and why? Relations and Functions Blooms Designation 5 Score c) Determine whether the relation R on the set of all Web pages is reflexive, symmetric, antisymmetric, and/or transitive, where (a. b) E R if and only if Everyone who has visited Web page a has also visited Web page b. Major Topic Designation 7 Blooms Score 7 d) Can the problem in question 5) be solved using the iterative If yes, solve it. If no, explain why? method?
