Quantifiers and variables - propositional model, Computer Engineering

Quantifiers and Variables - propositional model:

There is one question is arrives that 'What do sentences containing variables mean?' In other way of words, how does a first-order model decide where such a sentence is true or false? Here the first step is to ensure that for the sentence does not contain any free variables, variables that are not bound by associated with a quantifier. So there strictly speaking that a first-order expression is not a sentence unless all the variables are bound there. Moreover, we usually suppose that if a variable is not explicitly bound then really it  is implicitly universally quantified. 

So now we look for the outermost quantifier in our sentence. Whether If this is ∀ X then we consider the truth of the sentence for every value X could take then the outermost quantifier is ?X we require to find just a single possible value of X. Just to make this more formal we can need a concept of substitution.

Posted Date: 1/11/2013 5:58:51 AM | Location : United States







Related Discussions:- Quantifiers and variables - propositional model, Assignment Help, Ask Question on Quantifiers and variables - propositional model, Get Answer, Expert's Help, Quantifiers and variables - propositional model Discussions

Write discussion on Quantifiers and variables - propositional model
Your posts are moderated
Related Questions
Difference between Paperbase and computer base system?

Arithmetic-logic section in computer system: The   arithmetic-logic section performs arithmetic   operations, such subtraction, addition, multiplication, and division. Throug


What is Instruction Cycle A program residing in the memory unit of the computer having of a sequence of instructions.  The program is implemented in the computer by going throu

What is the function of ALU? Most of the computer operations (arithmetic and logic) are performed in ALU. The data needed for the operation is brought by the processor and the

Explain about the term Middleware. Middleware is the term frequently used to explain the application or business logic present within an application server. Unfortunately, simi

Illustrate about probability of collision? Probability of collision: There is a triangle and on this let’s assume that there are three ants one on each corner and are free t

Q. Definition of Lists? Another type of list is a definition list. Definition lists have a heading and text appears below that. EXPERTSMI

Determine about the Locator Devices Mouse  A mouse is small hand-held box used to position the screen cursor. Wheels or rollers on the bottom of the mouse can be used to r

Explain the term Electronic Data Interchange (EDI). Electronic Data Interchange (EDI) may be generally easy to understand as the replacement of paper-based purchase orders alon