Application of compactness theorem Example Every set S can be(totally) ordered
Application of compactness theorem Example Every set S can be (totally) ordered. Yi Li (Fudan University) Discrete Mathematics May 9, 2012 6 / 22
Application of compactness theorem 「 Theorem An infinite tree with finite branch has an infinite path
Application of compactness theorem Theorem An infinite tree with finite branch has an infinite path. Yi Li (Fudan University) Discrete Mathematics May 9, 2012 7 / 22
Expressive Power of PL not nd S Declarative sentences
Expressive Power of PL 1 not. 2 and. 3 or. 4 if . . . then . . . . 5 Declarative sentences. Yi Li (Fudan University) Discrete Mathematics May 9, 2012 8 / 22