06_Transcript

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

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon
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

This note was uploaded on 10/13/2011 for the course MATH 135 taught by Professor Andrewchilds during the Spring '08 term at Waterloo.

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 Right Arrow Icon
Ask a homework question - tutors are online