We introduce quantification for any symmetric and associative operator Summing a set of values (using addition +) and “oring” together a set of values (using disjunction V) can be expressed using quantification. Quantification is important in the predicate calculus of the next chapter, and it is used in most later chapters.
KeywordsInference Rule Function Application Fresh Variable Abelian Monoid Paris Academy
Unable to display preview. Download preview PDF.