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

Describe the modes of wave propagation, Question : a) Describe the foll...

Question : a) Describe the following modes of wave propagation: - Line of sight - Ground waves - Skywaves b) Why can waves with a very low frequency be used for submar

What are condition codes, What are condition codes? In many processors,...

What are condition codes? In many processors, the condition code flags are kept in the processor status register. They are either set are cleared by lots of instructions, so th

State about the data glove, State about the Data Glove  Data glove is u...

State about the Data Glove  Data glove is used to grasp a "virtual" object. The glove is constructed with a series of sensors that detect hand and finger motions. Electromagnet

Difference between visual basic, Visual basic is useful if you are planning...

Visual basic is useful if you are planning to make the programs from scratch. This language helps you in producing Active x controls, exe files, etc. Visual script is a powerful t

Explain about interrupt cycle, Q. Explain about Interrupt Cycle? On com...

Q. Explain about Interrupt Cycle? On completion of execute cycle the current instruction execution gets completed. At this point a test is made to conclude whether any enabled

C, "Super ASCII", if it contains the character frequency equal to their asc...

"Super ASCII", if it contains the character frequency equal to their ascii values. String will contain only lower case alphabets (''a''-''z'') and the ascii values will starts from

Determine the factor consider when selecting digital encoder, 1. What facto...

1. What factors should be considered when selecting a digital encoder (line codes)? Briefly mention five of those factors. Use sketches and additional text to describe the followin

Variables and quantifiers for first-order models , Variables and Quantifier...

Variables and Quantifiers for First-order models -artificial intelligence: So what do sentences containing variables mean? In other words, how does first order model select whe

Explain the design procedure for flip flop, Explain the Design Procedure fo...

Explain the Design Procedure for Flip Flop? The design procedure as follows. 1) Acquire the clear description of the desired flip flop X. 2) Acquire the present state- next

What are the major components of a web browser, What are the major componen...

What are the major components of a web browser? A browser contains a set of clients, a controller and a set of interpreters which manages them. All browsers must have an HTML

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