Discrete mathematics Yi Li Software school Fudan universit March 20. 2012
Discrete Mathematics Yi Li Software School Fudan University March 20, 2012 Yi Li (Fudan University) Discrete Mathematics March 20, 2012 1 / 24
Review Introduction Tr o Konig lemma
Review Introduction Tree K¨onig lemma Yi Li (Fudan University) Discrete Mathematics March 20, 2012 2 / 24
utline Propositions Truth table ● Adequacy
Outline Propositions Truth table Adequacy Yi Li (Fudan University) Discrete Mathematics March 20, 2012 3 / 24
Connectives amp dle Consider the following statements o am a student @ I am not a student o I am a student and i study computer science o I am a boy or I am a girl o If I am a student I have a class in a week o I am student if and only if I am a member of some unIversity
Connectives Example Consider the following statements: 1 I am a student. 2 I am not a student. 3 I am a student and I study computer science. 4 I am a boy or I am a girl. 5 If I am a student, I have a class in a week. 6 I am student if and only if I am a member of some university. Yi Li (Fudan University) Discrete Mathematics March 20, 2012 4 / 24
Connectives We don t care about the following Are you a student? o Sit down please o What are you doing
Connectives We don’t care about the following: Are you a student? Sit down please. What are you doing? Yi Li (Fudan University) Discrete Mathematics March 20, 2012 5 / 24