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 the advantage of running the vuser as thread, VuGen gives the facil...

VuGen gives the facility to use multithreading. This enables more Vusers to be run pergenerator. If the Vuser is run as a process, the similar driver program is loaded into memory

Determine the firewall in intranet technology, Determine the firewall in In...

Determine the firewall in Intranet technology Firewall remains the basic foundation of Internet and Intranet security, for many users getting into the corporate Intranet would

What is random access memory, What is random access memory(RAM or MAIN MEMO...

What is random access memory(RAM or MAIN MEMORY) and mention its types? The main memory in the central storage unit in a computer system. It is relatively large and fast memory

What are the types of data warehouses, What are the types of data warehouse...

What are the types of data warehouses? Various types of data warehouses are illustrated below: a) Financial Data Warehouses b) Insurance Data Warehouses c) Human Resou

Register data type as combinational element, Reg data type as Combinational...

Reg data type as Combinational element module reg_combo_example( a, b, y); input a, b; output y; reg y; wire a, b; always @ ( a or b) begin y = a & b; e

Subscript and an index in a table definition, What is the difference betwee...

What is the difference between a subscript and an index in a table definition? Ans) A subscript is a working storage data definition item, typically a PIC (999) where a value mu

Recursion to an iterative procedure, The data structure required to convert...

The data structure required to convert a recursion to an iterative procedure is  Stack is the data structure required to convert a recursion to an iterative procedure

Describe about second generation computers, Q. Describe about Second Genera...

Q. Describe about Second Generation Computers? Silicon brought advent of second generation computers. A two state device termed as a transistor was created from silicon. Transi

Depth - basic characteristics of an experts system, An expert system has d...

An expert system has death that is it operate effectively in a narrow domain containing difficult challenging problems. Thus the rules in an experts systems are necessarily co

Explain complex instruction set computer, CISC (Complex Instruction Set Com...

CISC (Complex Instruction Set Computer) CISC stands for Complex Instruction Set Computer. If the control unit having a number of micro-electronic circuitry to make a set of con

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