
6.5.13 Predicate calculus
Problem:
Write the following sentences as predicate logic formulas and transform them into clausal form:
"If there are no intelligent machines, and if every ideal machine is an intelligent machine, then an ideal machine does not exist".