Question

. Consider the following statements: • All AI students are smart. • If a student is smart and reads Chapter 2, the student understands predicate logic. • If a student understands predicate logic, the student can solve Question 3. • If a student can solve Question 3 or wins a lottery, the student is happy. • John takes CS320 and reads Chapter 2. • Mary is smart and wins a lottery.

(a) Translate the statements into predicate calculus expressions. (b) Draw the AND/OR graph. (c) Show both John and Mary are happy. Give details of the rules used and the substitutions used at each step.

Answer 1

0