Lecture Notes 04 Jan 2018

S HORT URL I N A RIAL FONT : V ISUALSER STREAM :

bit.ly/2d9dG6Z bit.ly/2ctSx6u bit.ly/2yNMBVB (available only in 2017/2018 academic year)

0N1 • Mathematics • Course Arrangements • 04 Jan 2018

2

Contents Arrangements for the Course

I

8

Aims and description . . . . . . . . . . . . . .

8

Tests . . . . . . . . . . . . . . . . . . . . . . .

10

Examination . . . . . . . . . . . . . . . . . . .

12

Questions for students, email policy . . . . .

13

Acknowledgements

15

Lecture Notes

16

1 Sets

16

1.1 Sets: Basic definitions . . . . . . . . . . . . .

16

1.2 Questions from students . . . . . . . . . . . .

19

2 Subsets; Finite and Infinite Sets

20

2.1 Subsets . . . . . . . . . . . . . . . . . . . . .

20

2.2 Finite and infinite sets . . . . . . . . . . . . .

23

2.3 Questions from students . . . . . . . . . . . .

24

3 Operations on Sets

25

3.1 Intersection . . . . . . . . . . . . . . . . . . .

25

3.2 Union . . . . . . . . . . . . . . . . . . . . . .

25

3.3 Universal set and complement . . . . . . . .

26

3.4 Relative complement . . . . . . . . . . . . . .

28

3.5 Symmetric difference . . . . . . . . . . . . . .

28

3.6 Boolean Algebra . . . . . . . . . . . . . . . .

29

3.7 Sample Test Questions . . . . . . . . . . . .

30

3.8 Questions from Students

31

4 Set theory

. . . . . . . . . . .

36

3

0N1 • Mathematics • Course Arrangements • 04 Jan 2018

4.1 Proof of Laws of Boolean Algebra by Venn diagrams . . . . . . . . . . . . . . . . . . . .

36

4.2 Proving inclusions of sets . . . . . . . . . . .

37

4.3 Proving equalities of sets . . . . . . . . . . .

38

4.4 Proving equalities of sets by Boolean Algebra

40

4.5 Sample test questions . . . . . . . . . . . . .

41

4.6 Additional Problems: Some problems solved with the help of Venn diagrams . . . . . . . . . . . . . . . . . . . .

41

4.7 Questions from students . . . . . . . . . . . .

45

5 Propositional Logic

46

5.1 Statements . . . . . . . . . . . . . . . . . . .

46

5.2 Conjunction . . . . . . . . . . . . . . . . . . .

46

5.3 Disjunction . . . . . . . . . . . . . . . . . . .

47

5.4 Negation

. . . . . . . . . . . . . . . . . . . .

48

5.5 Conditional . . . . . . . . . . . . . . . . . . .

48

5.6 Questions from students . . . . . . . . . . . .

50

6 Propositional Logic, Continued

53

6.1 Converse . . . . . . . . . . . . . . . . . . . .

53

6.2 Biconditional . . . . . . . . . . . . . . . . . .

53

6.3 XOR . . . . . . . . . . . . . . . . . . . . . . .

54

6.4 Compound statements and truth tables

. . .

54

6.5 Tautologies . . . . . . . . . . . . . . . . . . .

56

6.6 Contradictions . . . . . . . . . . . . . . . . .

57

6.7 Matching brackets: a hard question . . . . . .

58

6.8 Sample test questions . . . . . . . . . .