Week1 Discrete Math PDF
Week1 Discrete Math PDF
Week1 Discrete Math PDF
INTRODUCTION TO
DISCRETE MATHEMATICS
These molecular statements are of course still statements, so they must be either true or
false. The absolutely key observation here is that which truth value the molecular statement
achieves is completely determined by the type of connective and the truth values of the parts. We do
not need to know what the parts actually say, only whether those parts are true or false. So to
analyze logical connectives, it is enough to consider propositional variables (sometimes called
sentential variables), usually capital letters in the middle of the alphabet: P, Q, R, S, . . .. We think of
these as standing in for (usually atomic) statements, but there are only two values the variables can
achieve: true or false. We also have symbols for the logical connectives: ∧, ∨, →, ↔, ¬
Logical Connectives
Truth Values for Connectives
The truth value of a statement is determined by the truth value(s) of its part(s), depending on
the connectives:
Implications
Converse and Contrapositive
END