Variables and quantifiers - first-order logic, Computer Engineering

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.

Posted Date: 1/10/2013 5:23:59 AM | Location : United States

Related Discussions:- Variables and quantifiers - first-order logic, Assignment Help, Ask Question on Variables and quantifiers - first-order logic, Get Answer, Expert's Help, Variables and quantifiers - first-order logic Discussions

Write discussion on Variables and quantifiers - first-order logic
Your posts are moderated
Related Questions
Q. Describe about Instruction set? Instruction set is the boundary where computer designer and computer programmer see the same computer from various viewpoints. From the desig

Mobile cameras are characteristically low-resolution Digital cameras integrated in mobile set. Photographs are characteristically only good enough to show on low resolution mobile

How to configure TSM server

1. Consider the one-time pad encryption scheme to encrypt a 1-bit message m, and assume m is chosen with uniform distribution from message space M={0,1}. Let E1 be the event "messa

Back propagation Learning Routine - Aartificial intelligence As with perceptrons, the information in the network is stored in the weights, so the learning problem comes down to

Define Deadlock with Resource request and allocation graph (RRAG) Deadlocks can be described through a directed bipartite graph termed as a RRAG that is Resource Request All

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

It sets for Language Integrated Query. LINQ is collection of standard query operators that gives the query facilities into .NET framework language like C# , VB.NET.

Decision Trees - Artificial intelligence: Suppose you just ever do four things at the weekend: go shopping, watch a film, play tennis or just stay inside.  What you do depends

Write Relational algebra expressions for the given queries. (i) List the employee numbers, employee names and their manager numbers working in several branches who earn more than