DS Lecture 1
DS Lecture 1
DS Lecture 1
Quantitative Reasoning-II
(QTR-2328)
Discrete vs Continuous
• Logic
• Elementary Number Theory and Methods of Proof
• Set Theory
• Relations
• Sequences and Recursion
• Mathematical Induction
• Counting
• Relations and Equivalence Relations
• Graphs
• Trees
Reference Books
• Discrete Mathematics and its Applications
(with Combinatorics and Graph Theory)
7th Edition, The McGraw-Hill Companies, 2007,
Kenneth H. Rosen.
• Discrete Mathematics with Applications
4th Edition, Thomson Learning, 1995,
Susanna S. Epp.
• Discrete Mathematics for Computer Scientists
2nd Edition, Addison-Wesley, 1999,
John Truss.
Logic
• Propositional Logic
• Logic of Compound Statements
• Propositional Equivalences
• Conditional Statements
• Logical Equivalences
• Valid and Invalid Arguments
• Applications: Digital Logic Circuits
• Predicates and Quantifiers
• Logic of Quantified Statements
Logic
Logic
Propositional Logic
Proposition: A proposition (or Statement) is a declarative
sentence (that is, a sentence that declares a
fact) that is either true or false, but not both.
Examples
1. Is the following sentence a proposition? If it is a proposition,
determine whether it is true or false.
Paris is the capital of France.
This makes a declarative statement, and hence is a
proposition. The proposition is TRUE (T).
1. Grass is
green.
2. 4 + 2 = 6
3. 4 + 2 = 7
Examples (Propositions Cont.)
not a proposition.
Examples (Propositions Cont.)
x+ 4 > 9.
He is a college student.
1. Not
2. And ˄
3. Or ˅
4. Exclusive or
5. Implication
6. Biconditional
Compound Propositions
Negation of a proposition
Let p be a proposition. The negation of p, denoted by
p (also denoted by ~p), is the statement
p : Today is Friday.
The negation is
p : It is not the case that today is Friday.
“6 is negative”.
The negation is
p p
true false
false true
Conjunction (AND)
Definition
Let p and q be propositions. The conjunction
of p and q, denoted by p˄q, is the proposition
“p and q”.
The conjunction p˄q is true when p and q are
both true and is false otherwise.
Examples
p : Today is Friday.
q : It is raining today.
The conjunction is