{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

06_Transcript

# 06_Transcript - 1 Universal Quantifiers Specialization 1.1...

This preview shows pages 1–2. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 Universal Quantifiers: Specialization 1.1 Welcome Welcome to the sixth module in our course on proofs, “Universal Quantifiers: Specialization.” Before going on, please do the assigned readings. 1.2 Introduction The previous module introduced the choose method to work backwards from a statement containing a universal quantifier. This module introduces the specialization method to work forwards from a statement containing a universal quantifier. 1.3 When To Use Specialization We should consider using specialization whenever two conditions are met. 1. A universal quantifier appears in the hypothesis or forward process. 2. A particular object is identified in the conclusion or the backward process. Consider the following example. We begin with a definition. Let S be a set of real numbers. An upper bound for S is a real number u such that, for all x ∈ S , x ≤ u . Proposition 1. Let u and v be real numbers. If u is an upper bound for a set S and u ≤ v , then v is an upper bound for the set S . Since a universal quantifier is used implicitly in the statement of the proposition, as part of the definition of upper bound, and because a particular object v is identified in the conclusion, this is a natural setting for specialization....
View Full Document

{[ snackBarMessage ]}

### Page1 / 3

06_Transcript - 1 Universal Quantifiers Specialization 1.1...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online