![]() There are two types of quantifier in predicate logic − Universal Quantifier and Existential Quantifier. The variable of predicates is quantified by quantifiers. If x is a variable and Y is a wff, $\forall x Y$ and $\exists x Y$ are also wff Well Formed Formula (wff) is a predicate holding any of the following −Īll propositional constants and propositional variables are wffs The following are some examples of predicates − A predicate with variables can be made a proposition by either assigning a value to the variable or by quantifying the variable. Predicate Logic – DefinitionĪ predicate is an expression of one or more variables defined on some specific domain. ![]() Predicate Logic deals with predicates, which are propositions containing variables.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |