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

Find resolution & volts of a 2-digit BCD D/A converter, A 2-digit BCD D/A c...

A 2-digit BCD D/A converter is a weighted resistor type with E R = 1 Volt, with R = 1M? , R f = 10K? . Find resolution in Percent and Volts. Ans. Resolution = 1/2 2 = 0.25 vo

What is hit and hit rate , What is hit? A successful access to data in ...

What is hit? A successful access to data in cache memory is known as hit. Normal 0 false false false EN-IN X-NONE X-NONE

First order predicate logic - artificial intelligence, First Order Predicat...

First Order Predicate Logic : This is a more expressive logic because it is mostly builds on propositional logic by allowing us to needs as constants, variables, predicates,

Explain user datagram protocol, Explain User Datagram Protocol. UDP(Use...

Explain User Datagram Protocol. UDP(User Datagram Protocol) : User Datagram Protocol uses a connectionless communication paradigm. It is an application using UDP does not re

Layered architecture of electronic data interchange, Illustrated about the ...

Illustrated about the layered architecture of Electronic Data Interchange? Layered Architecture of EDI: Electronic Data Interchange is most commonly applied into th

Scsi bus - computer architecture, SCSI Bus:   Defined by ANSI - X3....

SCSI Bus:   Defined by ANSI - X3.131   50, 68 or 80 pins   Max. transfer rate - 160 MB/s, 320 MB/s. SCSI Bus Signals   Small Computer System Interface

Explain about integration levels, Q. Explain about Integration Levels? ...

Q. Explain about Integration Levels? Initially only few gates were integrated consistently on a chip. This initial integration was termed as small-scale integration (SSI). With

What is double entry - verification, What is Double entry - Verification ...

What is Double entry - Verification In this approach, data is entered twice (using two different people); data is only accepted if both versions match up. Generally used to ve

What is the need of a hybrid in telephone networks, What is the need of a h...

What is the need of a hybrid in telephone networks? Digital exchanges need receive and transmit signals upon separate two-wire circuits. It calls for two-wire to four-wire con

C program, In this problem you are given a board in which some of the eleme...

In this problem you are given a board in which some of the elements are placed as shown in diagram below. Each element represents a color. Fill the other elements in the board, suc

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