Variables and quantifiers - first-order logic, Computer Engineering

Assignment Help:

Variables and Quantifiers:

Now we have to diagnose now that if we wanted to say that there is a meal at the Red Lion which costs only 3 pounds, is well sayed. Rather thenif we said that cost_of(meal, red_lion) = three_pounds, that is on this states that a particular meal (a constant, which we've labeled meal) costs 3 pounds. That does not accurately capture what we wanted to say. Just to a start, it implies in which side we know exactly which meal it is that costs 3 pounds, and however, the landlord at the Red Lion chose to let this the bizarre name of "meal". Furthermore it doesn't convey the fact that there may be more than one meal which costs 3 pounds.

In fact instead of using constants in our translation of the sentence could like we should have used variables as "there is a meal at the Red Lion costing 3 pounds". Nevereather than if we had replaced meal with something that reflects the fact that we are talking about a generic, rather than a specific meal, so things would have been clearer. Wherever a predicate relates something that be vary i.e. like our meal, than we call these things variables, so represent them with an upper-case word or letter.


Related Discussions:- Variables and quantifiers - first-order logic

Illustrate fdma and tdma concepts., Mobile Computing 1. What is Wireles...

Mobile Computing 1. What is Wireless Protocol Requirements and also explain in brief medium access control protocol. 2. Illustrate FDMA and TDMA concepts. 3. What are the

What are the four factors of open source software, What are the four signif...

What are the four significant factors that led to the development of open source software? 1. To diminish the high control value of the Proprietary Software 2. To avoid disc

State the example of begin end, State the Example of begin end module s...

State the Example of begin end module sequential(); reg a; initial begin $monitor ("‰g a = ‰b", $time, a); #10 a = 0; #11 a = 1; #12 a = 0; #13 a = 1; #

Process of world wide web, Q. Process of World Wide Web? When you type ...

Q. Process of World Wide Web? When you type a URL in a web browser, this is what happens: 1. If URL contains a domain name, browser first connects to a domain name server an

Database management system, what is time out based schemes in concurrency c...

what is time out based schemes in concurrency control

Conversion of decimal number 25.5 into binary number, Conversion of decimal...

Conversion of decimal number 25.5 into binary number Ans. There is integer part is 25 and fractional part is 0.5.  Firstly convert the integer part 25 in its equal to binary numb

How are the instructions executed and interpreted, Q. How are the instructi...

Q. How are the instructions executed and interpreted? All computers have a Unit which performs arithmetic and logical functions. This Unit is called as Arithmetic and Logic Uni

Determine the simplified sop boolean expression, Reduce the following equat...

Reduce the following equation using k-map Y = BC‾D‾ + A‾BC‾D + ABC‾D + A‾BCD + ABCD Ans. Multiplying the first term with (A+A') Y = A'BC'D' + ABC'D' + A'BC'D + ABC'D + A'BCD + A

Elevation of the premature ventricular contraction, As spring approaches, y...

As spring approaches, your design firm has been tasked with designing a two-lane highway in rural Wyoming. The highway descends a hill, crosses a river, and must shift to a para

Give a technical description of e-mail, E-mail system is mostly used for se...

E-mail system is mostly used for sending message electronically to group or individuals of individuals in inter and intra office environment. It needs networks to connect them. In

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