Mth 300 Lecture Notes - Lecture 3: Open Formula, Deuterium, Universal Quantification

• School: PSU
• Department: Mathematics
• Course: Mth 300
• Professor: Derek Garton

Document Summary

For all he 27 if n is even. 10 is even . ( true ) open sentence wkz at. If pcx ) ( and a universe is an open. 1 could write for all x a- u , pcx ) . False a 2>0 ( false universe at 27. Catbilca. bi ) 70 i doesn"t have to , a 2>0 quantified statement ( z ) . sentence. True an open this atc true at bit. Definition : with universe v. the existentially is. The sentence statement existence set ( pk ) ) 0 is true is false set ( truth truth if if. There exists not hto n also true extension quantifier. 7 pcx ) ( there is something in my universe that makes pcx) false . 7 ( for all nt # if 21h. P - dq hfoq ) m - q. There exists htz it 4h then 4th ( h"s true.