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

What is arithmetic pipeline, What is arithmetic pipeline?  Pipeline ari...

What is arithmetic pipeline?  Pipeline arithmetic units are usually found in very high speed computers. They are used to execute floating point operations, multiplication of fi

Explain procedure level of parallel processing, Procedure Level Here, p...

Procedure Level Here, parallelism is obtainable in the form of parallel executable procedures. In that case, design of algorithm plays a key role. E.g. every thread in Java is

By which digits are represented, In a DTMF phone, digits are represented by...

In a DTMF phone, digits are represented by: (A)  Orthogonal frequencies. (B)  Orthogonal Phases. (C)  Orthogonal codes. (D)  Orthogonal pulses. Ans: Di

What is drive, Any data storage device. This having of  your CD-ROM drive, ...

Any data storage device. This having of  your CD-ROM drive, hard disk drive and floppy disk drive.

What do you mean by electronic funds transfer, What do you mean by Electron...

What do you mean by Electronic Funds Transfer? Electronic Funds Transfer: It’s an electronic payment method which transfers the money value through one bank account to o

Zero address instruction format, Zero address instruction format is used fo...

Zero address instruction format is used for  (A) RISC architecture.      (B) CISC architecture.  (C) Von-Neuman architecture.   (D) Stack-organized architecture.

Demultiplexers, Explain briefly about demultiplexers?

Explain briefly about demultiplexers?

What is mother board, What is mother board? Mother Board is a main syst...

What is mother board? Mother Board is a main system printed circuit board which having the processor. It will occupy an unacceptably large amount of space on the board.

Breifly explain memory-to-memory architecture, Memory-to-Memory Architectur...

Memory-to-Memory Architecture The pipelines can access vector operands intermediate and final results straight in main memory. This necessitates the higher memory bandwidth. Fu

Concept of multithreading, Concept of Multithreading: These troubles incre...

Concept of Multithreading: These troubles increase in the design of large-scale multiprocessors such as MPP as discussed above. Thus, a solution for optimizing this latency should

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