Translate the following sentences into predicate logic, Computer Engineering

Translate the following sentences into predicate logic. Give as much structure as possible. Provide a translation key for each predicate letter and individual constant. In your translations you can ignore tense and modal auxiliaries such as will. Assume that the domain of discourse includes people as well as animals and things.

Example:   Carla owns every house

Translation: ∀  x(Hx →  Ocx)

Key:    Hx = x is house; Oxy = x owns y; c = Carla

a. Lori gave a dollar to some kid on a bicycle.

b. Every officer who arrests a criminal gets a reward.

c. Fred found a book that contains all the answers.

d. Some politicians praise every voter who agrees with them.

e. Not every parent who owns a car can drive all the children.

f. Carl doesn't like any colleague who wins a prize or receives a medal.

g. Every cloud has a silver lining.

 

Posted Date: 3/25/2013 1:31:46 AM | Location : United States







Related Discussions:- Translate the following sentences into predicate logic, Assignment Help, Ask Question on Translate the following sentences into predicate logic, Get Answer, Expert's Help, Translate the following sentences into predicate logic Discussions

Write discussion on Translate the following sentences into predicate logic
Your posts are moderated
Related Questions
Describe the construction and working of michelson iinterferometer.describe the formation of different types of fringes in Michaelson''s interferometer

Q. Application and factors related to Scanners? When you purchase a scanner there are various factors which can be looked at: Compatibility of Scanner with your Computer, The T

Q. Show the Connections used in Sound cards? Sound cards must have connections to allow different functions.  One of the most significant is MIDI port (MIDI signifies Musical I

What are the features of ABAP/4 Dictionary? The most significant features are: Integrated to aABAP/4 Development Workbench. Active in the runtime environment.

Any data storage device. This having of  your CD-ROM drive, hard disk drive and floppy disk drive.

Minimum Spanning Tree: Given a weighted graph G, it is often desired to make a spanning tree T for G, like the sum of weights of the edges in T is the least. Like tree is known as

SMTP Simple Mail Transfer Protocol, a protocol for sending e-mail messages among servers. Most e-mail systems that send mail over the Internet use SMTP to send messages from si

Hard disk Architecture: A hard disk drive having the platters and motor hub removed indicating the copper colored stator coils surrounding a bearing at the cen

Now let's define range which a normalised mantissa can signify. Let's presume that our present representations has normalised mantissa so left most bit can't be zero so it has to b

Question: (a) A computer network can be a LAN or a WAN. Using appropriate diagrams and examples, explain what you understand by the term LAN. Your answer should also explain