Question: 2. Speak Logic Please The following Boolean functions will be used in this problem and you may use them as needed: Bird(), Tree(), SleepsIn(), Loon(),
2. Speak Logic Please The following Boolean functions will be used in this problem and you may use them as needed: Bird(), Tree(), SleepsIn(), Loon(), Lake(), Beside(), Aquatic(), EatsFish() Use the functions given above to translate the following sentences into first order logic.
(a) Every bird sleeps in some tree.
(b) Every loon is a bird and every loon is aquatic
(c) All loons eat fish.
(d) Every tree in which any aquatic bird sleeps, is beside some lake.
(e) Anything that sleeps beside anything that is beside any lake eats fish.
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
