Logic1028 - Midterm graded Any questions? HW #6 (due 11/4)...

Info iconThis preview shows pages 1–7. 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

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

View Full DocumentRight 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: Midterm graded Any questions? HW #6 (due 11/4) 1. Problem 13.12 (prove by a tableau) 2. Exercise 13.7 3. Show that the set of all rational num- bers (of the form a/b where a and b are integers – could be negative – and b≠0) is denumerable. Plan for the second half Cover Part III-V (Chs. 14-23) Also Ch.27 if there is time left over Gets more and more difficult as we move on to the later chapters. In chs.14-16, we will discuss concept of infinity (Ch.14) proof technique known as mathematical induction (Ch.15) These discussions will be useful for the remainder of the class. Esp. in the proofs of the correctness and completeness for propositional logic & first-order logic (chs.17-18) Today’s lecture About different sizes of sets, esp. of infin- ite sets Central result: Cantor’s theorem Implication: there are infinitely many differ- ent sizes among infinite sets! { 0 4 D 9 0 C-6 D 5 4 -4 5 6 -8 F A 0 -7 C 3 F 6 8 5 A 9 E 5 } N { 7 9 0 7 2 F C 5 -4 7 6 0 -4 8 C 4 -9 1 A 5 -C 3 F 6 8 0 5 7 B A 7 E } P(N) { 3 B 7 B E 3 5 F -0 B-4 3-B F 4 9 -4 A 6 7 9 E C 6 9 1 9 0 } P(P(N)) { A 8 7 C 6 8 4 9 -B 7 C 5 -4 2 D F -8 0 9-2 5 8 9 2 D D 6 3 5 6 } P(P(P(N))) { 0 8 5 2 6 7 0 -5 9 D 4 -4 1 6 E -8 A B E -5 F D E 9 3 6 2 0 D 1 E } … A set is a collection of objects. Those objects are called members of the set....
View Full Document

This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

Page1 / 20

Logic1028 - Midterm graded Any questions? HW #6 (due 11/4)...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online