Translating from english to first-order logic, Computer Engineering

Assignment Help:

Translating from English to First-Order Logic:

Still we have now seen some of examples of first order sentences, than you should practice writing down English sentences in first-order logic, just to get used to them.

There are many types of ways to translate things from English to Predicate Logic incorrectly, that we can highlight some pitfalls to avoid. So firstly, there is a lot a mix up between the "and" and "or" connectives. That we saw in a previous lecture that the sentence "Every Monday and Wednesday I go to John's house for dinner" can be written in first order first-order logic just as:

So there it's important to note that the "and" in the English sentence now has changed to an "or" sign in the first-order logic translation. This means that we have turned this sentence into an implication, if the day of the week is Monday or Wednesday we need to make it clear this, after then we go to John's house for dinner. So now the disjunction sign (the "or" sign) is introduced. Notify that we call the "and" sign the conjunction sign.

And the another common problem is getting the choice, is just placement and order of the quantifiers wrong. Rather than this we saw that with the Red Lion meals example above. As according to another example, trying translating the sentence:
"Only red things are in the bag". So here are some incorrect answers:

1121_Translating from English to First-Order Logic.png


Related Discussions:- Translating from english to first-order logic

Show synchronous mode for point-to-point message passing, Q. Show Synchrono...

Q. Show Synchronous mode for point-to-point message passing? Synchronous mode: Transmitting can be started whether or not matching receive has been started, but transmitting w

Example of ann - artificial intelligence, Example of ANN - artificial intel...

Example of ANN - artificial intelligence: ANNs look like this:   Notice that the x, w, z and y represent actual valued weights and that every the edges in this graph

Mathlab , Windy Grid World This assignment is to use Reinforcement Learni...

Windy Grid World This assignment is to use Reinforcement Learning to solve the following "Windy Grid World" problem illustrated in the above picture. Each cell in the image is a

Visual basic applications in general context, Describe some general uses fo...

Describe some general uses for Visual basic applications in general context? Ans) Visual basic can be used within almost all Microsoft products such as Map point, Visio, Auto ca

Support activities in supply chain management, What are the some support ac...

What are the some support activities in primary functions of Supply Chain Management? To support primary functions of Supply Chain Management there will be a company’s infrastr

Explain error-detection code, Q. (192.8)10 - (AE.E)16 = (X)8, Find value of...

Q. (192.8)10 - (AE.E)16 = (X)8, Find value of x. Use 8's complement method. Q. Write first 10 numbers in the base 4. Q. Explain Error-Detection code & Error-correction code w

Assignment help on Operating System and JQuery, I need help on my assignmen...

I need help on my assignments that i need to submit in 10 days. There are total 3-4 assignments on two different subjects: 1) 2-3 assignments in Operating Systems and 2) 1-2 assign

How transmission bridges help in satisfying the connectivity, How do tra...

How do transmission bridges help in satisfying the connectivity? A usual transmission bridge is demonstrated in figure. The series capacitance and the shunt inductances of

Secondary storage - computer architecture, Secondary storage: Secondar...

Secondary storage: Secondary storage (or external memory) differs from primary storage in that aspect it is not accessible by the CPU directly. The computer typically uses its

Array processing, Array Processing We have seen that for performing vec...

Array Processing We have seen that for performing vector operations, the pipelining concept has been taken. There is another method for vector operations. If we have an array o

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd