The predictions with respect to propositions are made by Predicate Logic.
The expression of one or more variables are defined on the same specific domain, is defined as predicate. The variables predicate can be made on a proposition, either by assigning a value to the variable or by quantifying the variable.
Some of the examples of predicates are as follows:
A predicate that holds any one of the following conditions is known as Well Formed Formula (wff).
Quantifiers are used for quantifying the variables of prediction. The quantifiers in predicate logic are of two types - Universal Quantifier and Existential Quantifier.
For every value of the specific variable, the statements within the scope are defined to be true by the universal quantifier and are denoted by ∀.
∀xP(x) is read as for every value of x, P(x) is true.
Example − "Man is mortal" can be transformed into the propositional form ∀xP(x) where P(x) is the predicate which denotes x is mortal and the universe of discourse is all men.
For some of the values of specific variable, the statements within the scope are defined as true by existential quantifier and are denoted by ∃.
∃xP(x) is read as for some values of x, P(x) is true.
Example − "Some people are dishonest" can be transformed into the propositional form ∃xP(x) where P(x) is the predicate which denotes x is dishonest and the universe of discourse is some people.
When the quantifier that appears within the scope of another quantifier is used, it is known as nested quantifier.
Note − ∀a∃bP(x,y)≠∃a∀bP(x,y)
Discrete Mathematics Related Tutorials
Discrete Mathematics Related Interview Questions
|Statistics Interview Questions||Physics Interview Questions|
|Chemistry Interview Questions||Teacher Interview Questions|
|Mathematics Interview Questions||Physical Design Engineer Interview Questions|
|Geometric Dimensioning and Tolerancing (GD&T) Interview Questions|
Discrete Mathematics Tutorial
All rights reserved © 2018 Wisdom IT Services India Pvt. Ltd
Wisdomjobs.com is one of the best job search sites in India.