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

Ask an Expert

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

Write your message here..

Related Questions

Connection machine fortran, Q. Connection Machine FORTRAN? Connection M... Q. Connection Machine FORTRAN? Connection Machine Fortran was a subsequent SIMD language developed by Thinking Machines Corporation. Connection Machine Fortran incorporated all

What do you mean by instruction pipelining, After considering instruction e... After considering instruction execution let's now describe a concept which is very popular in any CPU implementation. This conception is instruction pipeline.  To extract better

Determine about the programmable read only memory, Programmable read only m... Programmable read only memory (PROM) A PROM is a memory chip on which data can be written only one time. Once a program has been written onto a PROM, it's permanent. Unlike RAM

Describe the hardwired control method, Describe the Hardwired control metho... Describe the Hardwired control method for generating the control signals Hard-wired control can be explained as sequential logic circuit that generates particular sequences of

Implement a memory management system , There should be 1 server thread and ... There should be 1 server thread and N client threads, where N is supplied by the user as a command line argument. The server opens a file called "all_requests.dat", the file has

Types of policies in e-commerce, 1- The Privacy Policy: The vendor must... 1- The Privacy Policy: The vendor must explain to the customer how all his information especially sensitive ones will be totally private, and no one can read them or use them i

Sorting algorithms, Two way merge sort for 84,83,78,90,23,123,98,159,8,200 Two way merge sort for 84,83,78,90,23,123,98,159,8,200

Translate the following sentences into predicate logic, Translate the follo... 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 tra

How much volts a CMOS logic device has approximately, The logic 0 level of ... The logic 0 level of a CMOS logic device is approximately ? Ans. The low level is 0 volts approx in CMOS logic device.

Explain about instruction cycle, Q. Explain about Instruction Cycle? Th... Q. Explain about Instruction Cycle? The instruction cycle for this provided machine comprises four cycles. Presume a 2-bit instruction cycle code (ICC). The ICC can represent t