DiscreteMath
ProfessorStrickland
Logic
Propositionadeclarativestatementwhichiseithertruexorfalse(notboth)
CompoundPropositionspropositionsconnectedbylogicaloperators
ConditionalPropositionspropositionsinvolvingifp,thenqorpq
p
q
~p
pq
pq
pq
pq
T
T
F
T
T
T
Discrete Mathematics
Topic 1 - Proofs
Ansaf Salleb-Aouissi
Columbia University
COMS W3203 Discrete Mathematics
Outline
Reading: Appendix D, Chapter 1. in Sheinerman.
1. Whats a proof?
2. Proving an implication
3. Proving an if and only if
4. Proof by cont