Discrete Structures20765 marksNested Quantifiers
All over smart people are stupid. Children of stupid people are naughty. John is a children of Jane. Jane is over smart. Represent these statements in FOPL and prove that John is naughty.
All over smart people are stupid. Children of stupid people are naughty. John is a children of Jane. Jane is over smart. Represent these statements in FOPL and prove that John is naughty. [5]
English Statement FOPL Representation ------ All over smart people are stupid. ∀x: OverSmart(x) → Stupid(x) Children of stupid people are naughty. ∀x ∀y: Stupid(x) ∧ ChildOf(y, x) → Naughty(y) John is a child of Jane. ChildOf(John, Jane) Jane is over smart. OverSmart(Jane) --- Given Facts and Rul...