Scribd
Upload
17 views117 pages

Lecture 1,2,3

The document appears to be notes from a course on discrete mathematics. It covers topics such as sets of integers and real numbers, logic, statements, truth tables, logical connectives like conjunction and disjunction, conditional statements, translating between English and symbolic notations, and inverse, converse, and contrapositive statements. Many examples and exercises are provided to illustrate these concepts.

Uploaded by

MG Master Gaming
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
17 views117 pages

Lecture 1,2,3

The document appears to be notes from a course on discrete mathematics. It covers topics such as sets of integers and real numbers, logic, statements, truth tables, logical connectives like conjunction and disjunction, conditional statements, translating between English and symbolic notations, and inverse, converse, and contrapositive statements. Many examples and exercises are provided to illustrate these concepts.

Uploaded by

MG Master Gaming
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 117

Discrete Continuous – 5a

9/21/2023 CS-103 1
What
Setis of
Discrete Mathematics
Integers & Real
– 6 – 5b
Numbers

9/21/2023 CS-103 2
What is Discrete Mathematics
–6

9/21/2023 CS-103 3
Logic – 7

9/21/2023 CS-103 4
Statement – 8a

9/21/2023 CS-103 5
Examples – 8b

9/21/2023 CS-103 6
Truth Values of Propositions –
8c

9/21/2023 CS-103 7
Examples – 9a

9/21/2023 CS-103 8
Statements & Truth Values –
9b
T
T
F
F

9/21/2023 CS-103 9
Not Propositions – 9c

9/21/2023 CS-103 10
Rule – 10a

9/21/2023 CS-103 11
Example – 10b

9/21/2023 CS-103 12
Example – 10c

9/21/2023 CS-103 13
Understanding Statements –
11c

9/21/2023 CS-103 14
Example – 11b

9/21/2023 CS-103 15
Compound Statement – 12a

9/21/2023 CS-103 16
Symbolic Representation –
13a

9/21/2023 CS-103 17
Logical Connectives – 14a

9/21/2023 CS-103 18
Examples – 14b

9/21/2023 CS-103 19
Translating from English to
Symbols – 15

9/21/2023 CS-103 20
Translating from English to
Symbols – 16a

9/21/2023 CS-103 21
Translating from English to
Symbols – 16

9/21/2023 CS-103 22
Translating from English to
Symbols – 17a

9/21/2023 CS-103 23
Translating from English to
Symbols – 17b

9/21/2023 CS-103 24
Negation – 19

9/21/2023 CS-103 25
Truth Table for ~p – 20

9/21/2023 CS-103 26
Conjunction – 21

9/21/2023 CS-103 27
Truth Table for p ^ q – 22

9/21/2023 CS-103 28
Disjunction – 23

9/21/2023 CS-103 29
Truth Table for p q – 15

9/21/2023 CS-103 30
Truth Table

CS-103 1
Truth Table for ~p^q - 2

CS-103 2
Truth Table for ~p^q – 2a

CS-103 3
Truth Table for ~p^q – 2b

CS-103 4
Truth Table for ~p^q – 2c

CS-103 5
~p ^ (q v~ r) – (2 - 3a)

CS-103 6
~p ^ (q v~ r) – 2 - 3b

CS-103 7
~p ^ (q v~ r) – 2 - 3c

CS-103 8
~p ^ (q v~ r) – 2 - 3d

CS-103 9
Truth Table for ~p (p v~ q) – 2 - 3e
v

CS-103 10
Truth Table for (pvq) ^~ (p^q) – 2 - 4a

CS-103 11
Truth Table for (pvq) ^~ (p^q) – 2 -
4c

CS-103 12
Truth Table for (pvq) ^~ (p^q) – 2 -
v v
4e

CS-103 13
Truth Table for (pvq) ^~ (p^q) – 2 -
4f

CS-103 14
Exclusive OR – 2 - 5

CS-103 15
Symbols for Exclusive OR – 2 - 5a

CS-103 16
Logical Equivalence – 2 - 6

CS-103 17
Double Negation ~(~p) ≡ p – 2 - 7

CS-103 18
Examples – 2 - 12

CS-103 19
Example – 2 - 17c

CS-103 20
Example – 2 - 17d

CS-103 21
Example – 2 - 17e

CS-103 22
De Morgan’s Laws – 2 - 9

CS-103 23
De Morgan’s Laws – 2 - 9a

CS-103 24
Proof – 2 - 16

CS-103 25
Proof – 2 - 16d

CS-103 26
Application – 2 - 10

CS-103 27
Exercise – 2 - 19

CS-103 28
Tautology – 2 - 21

CS-103 29
Example – 2 - 21a

CS-103 30
Contradiction – 2 - 22

CS-103 31
Example – 2 - 22a

CS-103 32
Prove the following using Truth Table

CS-103 33
Exercise – 2 - 23

CS-103 34
Exercise – 2 - 24

CS-103 35
Laws of Logic – 2 - 25

CS-103 36
Laws of Logic – 2 - 25a

CS-103 37
Laws of Logic – 2 - 25b

CS-103 38
Laws of Logic – 2 - 25c

CS-103 39
Laws of Logic – 2 - 25d

CS-103 40
Application - 1

9/21/2023 CS-103 1
9/21/2023 CS-103 2
Example - 2

9/21/2023 CS-103 3
Simplifying a Statement – 3

9/21/2023 CS-103 4
Distributive Law in Reverse – 4

9/21/2023 CS-103 5
Exercise – 5

9/21/2023 CS-103 6
Exercise - 5a

9/21/2023 CS-103 7
Conditional Statements - 6

9/21/2023 CS-103 8
Conditional Statements – 6a

9/21/2023 CS-103 9
Truth Table for p → q - 8

9/21/2023 CS-103 10
Conditional Statements or
Implications - 7

9/21/2023 CS-103 11
Conditional Statements OR
Implications – 7a

9/21/2023 CS-103 12
Example – 9

9/21/2023 CS-103 13
Alternative Ways of Expressing
Implications – 10

9/21/2023 CS-103 14
Alternative Ways of Expressing Implications – 10a

9/21/2023 CS-103 15
Exercise - 11

9/21/2023 CS-103 16
Exercise – 11a

9/21/2023 CS-103 17
Translating English Sentences to
Symbols - 12

9/21/2023 CS-103 18
Translating English Sentences to
Symbols – 12a

9/21/2023 CS-103 19
Translating English Sentences to
Symbols – 12b

9/21/2023 CS-103 20
Translating English Sentences to
Symbols – (3 – 12c)

9/21/2023 CS-103 21
Translating Symbolic Propositions
to English – 13

9/21/2023 CS-103 22
Translating Symbolic Propositions
to English – 13a

9/21/2023 CS-103 23
Translating Symbolic Propositions
to English – 13b

9/21/2023 CS-103 24
Hierarchy of Operations for Logical
Connectives - 14

9/21/2023 CS-103 25
Truth Table for p v ~ q →~ p – 20a

9/21/2023 CS-103 26
Truth Table for p v ~ q →~ p – 20b

9/21/2023 CS-103 27
(p → q) (~p → r) - 21

9/21/2023 CS-103 28
(p → q) (~p → r) – 21a

9/21/2023 CS-103 29
(p → q) (~p → r) – 21c

9/21/2023 CS-103 30
p → q ≡ ~q → ~p- 22

9/21/2023 CS-103 31
Implication Law – 23

9/21/2023 CS-103 32
Negation of a Conditional
Statement - 15

9/21/2023 CS-103 33
9/21/2023 CS-103 34
Examples – (3 - 16)

9/21/2023 CS-103 35
Example – 16a

9/21/2023 CS-103 36
Inverse of a Conditional Statement
- 24

9/21/2023 CS-103 37
p → q is not equivalent to ~p → ~q
– (3 – 25)

9/21/2023 CS-103 38
Writing Inverse – 17

9/21/2023 CS-103 39
Writing Inverse – 17a

9/21/2023 CS-103 40
Converse of a Conditional
Statement - 26

9/21/2023 CS-103 41
Converse of a conditional
Statement – (3 – 27)

9/21/2023 CS-103 42
Writing Converse – 18

9/21/2023 CS-103 43
Writing Converse – 18a

9/21/2023 CS-103 44
Contrapositive of a Conditional
Statement– 28

9/21/2023 CS-103 45
Writing Contrapositivity – 19

9/21/2023 CS-103 46
Writing Contrapositivity – 19a

9/21/2023 CS-103 47

You might also like