Every lion chases some gazelle. Every gazelle who is old is smart. No lion catches any smart gazelle. Any lion who chases some gazelle but does not catch it is hungry. 1(a) Convert the statements above into a set of predicate formulae. 1(b) Convert the predicate formulae from Question 1(a) into Prenex Conjunctive Normal Form (PCNF). 1(c) Using General Resolution, prove that if all gazelles are old then all lions are hungry.

Every lion chases some gazelle. Every gazelle who is old is smart. No lion catches any smart gazelle. Any lion who chases some gazelle but does not catch it is hungry. 1(a) Convert the statements above into a set of predicate formulae. 1(b) Convert the predicate formulae from Question 1(a) into Prenex Conjunctive Normal Form (PCNF). 1(c) Using General Resolution, prove that if all gazelles are old then all lions are hungry.

Algebra & Trigonometry with Analytic Geometry

13th Edition

ISBN:9781133382119

Author:Swokowski

Publisher:Swokowski

Chapter3: Functions And Graphs

Section3.5: Graphs Of Functions

Problem 56E

See similar textbooks