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
MsgBox is a built in VB function which shows a Message Box and MsgBoxQ is a function definite by the user.

Describe the various characteristics of UDP protocol. The characteristics of the UDP are as follows: End to end: UDP is transport protocols that can distinguish between

Give the truth table of S-R and D-flipflops. Ans: The Truth Table for S-R Flip-Flop is illustrated in Fig.(a) and truth table of D Flip-Flop is illustrated in Fig.(b)

How are the function code handles in Flow Logic? When the User selects a function in a transaction, the system copies the function code into a           specially   designated

How is conversion of data types done between ABAP/4 & DB layer? Conversion among ABAP/4 data types and the database layer is complete within the database interface


Define Memory Latency? It is used to refer to the amount of time it takes to transfer a word of data to or from the memory.

Problem 1 Prove that :- x(x + y) = x by using identities 2 Write a short note on Analog to Digital Converter (ADC) 3 Differentiate between sequential and combinational ci

Hyper-threading, officially known as Hyper-threading Technology (HTT), is Intel's trademark for their execution of the simultaneous multithreading technology on the Pentium 4 micro

draw input and output charectoristics of BJT and justify CE configuration provides large current amplification