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
Unformatted text preview: Chapter 1 Preliminaries 1.1 Quantifiers 1 Sentential logic/propositional calculus: A,B are absolute statements about the state of affairs. Any expression like A is (globally) true or false. How to express more delicate ideas: relations between specific objects/individuals, etc? Predicate logic (aka 1st order logic): A ( x ) ,B ( x ) are statements about a variable x . It may be that A ( n ) is true but A ( m ) is false! So how to express when something is always true or sometimes true or never true? Use quantifiers. Definition 1.1.1 (Universal quantifier) . If A ( x ) is true for every possible value of x (under discussion), we say x,A ( x ). Example 1.1.1. x 2 , x R . TRUE x,a < b = a 2 < b 2 . FALSE x ,a < b = a 2 < b 2 . TRUE x (0 , 1) , n,x n < x . TRUE (assume n N ). 1 May 2, 2007 16 Math 413 Preliminaries Definition 1.1.2 (Existential quantifier) . If A ( x ) is true for at least one allowable value of x , we say x,A ( x ), or...
View
Full
Document
This note was uploaded on 11/26/2011 for the course MAT 4944 taught by Professor Wong during the Fall '11 term at FSU.
 Fall '11
 Wong
 Calculus, Logic

Click to edit the document details