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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!