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
Discuss the concept of segmentation? Segmentation is method for the non contiguous storage allocation. This is different from paging as this supports user's view of his program

Q. What is Compact Disk ROM? Both audio CD and CD-ROM (compact disk read-only memory) share similar technology. Main difference is that CD-ROM players are more rugged and have

What is an interface and what is an abstract class? Please, expand by examples of using both. Explain why?   Abstract classes are closely related to interfaces. They are classe

Receive a message. tid is integer task identifier of transmitting process supplied by user and msgtag is message tag supplied by user( must be non negative integer). The process re

Illustrate the following list of consideration of laptop computers The following is a list for consideration: -  The processor must consume as little power as possible thus

How congestion is controlled in TCP? One of the most significant aspects of TCP is a mechanism for congestion control. In main modern internets, extreme long delays or packet l

How the Kernel handles both the page stealer and the fault handler? The page stealer and the fault handler thrash because of the shortage of the memory. If the sum of the worki

Artificial Intelligence 1. Explain about artificial intelligence? What are the achievements of AI? 2. Elaborate state space search briefly. 3. Prove that A* is optimal.

Multi-Layer Network Architectures: As we considered we saw in the previous lecture that perceptrons have limited scope in the type of concepts that they can learn - but they c

Define Handshaking. Handshaking is a method commonly used to accompany ever data item being transfer with the control signal that show the presence of data in the bus. The unit