Example of Variables and quantifiers:

We should have started with something such

which reflects the fact that we're really talking for some meal at the Red Lion, nevertheless than a particular one. Moreover, this isn't relatively specific enough. Actually we use to tell the reader of our translated sentence something more for our beliefs concerning the variable X. Such in this case, we require to tell the reader that we believe there exists like an X. So then there is a specific symbol in predicate logic which we use for this purpose, calling the 'exists symbol'. And this is written in also: . In fact we put it around our pair of predicates, whenever we get a fully formed sentence in first-order logic:

As above we seen this is read as "there is something calling X, here X is a meal and X costs three pounds at the Red Lion".
For now if we want to say that all meals at the Red Lion cost three pounds. So than in this such case, we use to different symbol, that we call the 'forall' symbol. According to that this states that the predicates concerning the variable to that the symbol applies are true to all possible instances of variable. Nevertheless, what would come to pass if we replaced the exists symbol more than by our new forall symbol?? We would catch this:

If is this actually that we wanted to already say? Aren't we saying something on the subject of all meals in the universe? So well, in reality we're saying something about every item in the Universe: the whole lot is a meal which you can buy from the Red Lion. Just for three pounds! What we in actuality wanted to say should have been expressed more such of represent as this:

Well this is read as: for all objects or items X, if X is a meal, so it costs three pounds in the Red Lion. If we're still not there than though. Exactly this implies that every meal can be brought at the Red Lion. There is possibly we should throw in another predicate: serves like Pub, Meal that states such as Pub serves the Meal. Now what we wanted to say we can finally write:

This can be read as: for all objects X, if X is a meal and X is served in the Red Lion, then X costs three pounds.

Posted Date: 1/10/2013 5:28:51 AM | Location : United States

Ask an Expert

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

Write discussion on Example of variables and quantifiers - first-order logic
Your posts are moderated

Write your message here..

Related Questions

List the major components of the keyboard, List the major components of the... List the major components of the keyboard/Display interface. a. Keyboard section b. CPU interface section c. Display section d. Scan section

Unix essentials, Version Control is a critical tool in development and prod... Version Control is a critical tool in development and production environments that allows a user to make snapshots of working con?gurations or code. In this assignment, you will de

Explain dma and interrupt breakpoints, Q. Explain about DMA and Interrupt B... Q. Explain about DMA and Interrupt Breakpoints? DMA interface transfers complete block of data one word at a time directly to or from memory without going through processor. Wh

Write the factors considered in designing an i/o subsystem, Write the facto... Write the factors considered in designing an I/O subsystem? 1.  Data Location: Device selection, address of data within device ( track, sector etc) 2.  Data transfer: Amount

Explain about floating point representation, Q. Explain about Floating Poin... Q. Explain about Floating Point Representation? Floating-point number representation includes two parts. The first part of number is a signed fixed-point number which is called

Enumerate the design reusability of vhdl, Enumerate the Design reusability ... Enumerate the Design reusability of VHDL VHDL.  Functions  and  Procedures  may  be  placed  in  a  package  so  that  they  are  available  to  any design-unit which wishes t

Define realization of one flip flop using other flip flops, Define Realizat... Define Realization of one flip flop using other flip flops? It is probable to implement a flip flop circuit using any other circuit. Universal block diagram is shown below.

Explain about annotational notations, Explain about Annotational Notations ... Explain about Annotational Notations These notations may be applied to describe remark and illuminate about any element in the model. They are considered as explanatory of U

Define restoring method, Define restoring method? The hardware method j... Define restoring method? The hardware method just explained is called the restoring method. The reason for this name is that the partial reminder is restored by adding the divi

What do youe mean of quality of service, Quality of Service: This is asses... Quality of Service: This is assessed on the basis of customer's satisfaction.