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
What is guard bits? Guard bits are extra bits which are produced while the intermediate steps to yield maximum accuracy in the final results.

What is the use of fork and exec system calls?  Fork is a system call by which a new process is formed. Exec is also a system call, which is used after a fork by one of the two

The Utilization Count shows the status of each processor in a specific mode i.e.  Overhead mode, busy mode, and idle mode with respect to the progress in time as shown in Figure.

What is the length of function code at user-command? Every menu function, push button, or function key has an associated function code of length FOUR (for example, FREE), which

Q. Function of OSI Transport Layer? - It takes the information to be sent as well as breaks it into individual packets that are sent and reassembled into a complete message by

what is cursor

Q. What is Status Control and Registers? Status Control and Registers: These registers can't be used by programmers though are used to control CPU or execution of a program.

Define Algebraic method for Simplification of the Boolean Expressions This method is depend on the by knowledge of the Boolean algebra. Expression can be making simpler by usin

What is Expansion swap? At the time when any process needs more memory than it is currently allocated, the Kernel performs Expansion swap. To do this Kernel reserves enough spa

The voltage waveforms shown in given fig. are applied at the inputs of 2-input AND and OR gates. Determine the output waveforms. Ans. The Output waveforms for AND and O