Discrete mathematics Yi Li Software school Fudan universit March 17. 2014
Discrete Mathematics Yi Li Software School Fudan University March 17, 2014 Yi Li (Fudan University) Discrete Mathematics March 17, 2014 1 / 25
Review Introduction o Tree o Konig lemma
Review Introduction Tree K¨onig lemma Yi Li (Fudan University) Discrete Mathematics March 17, 2014 2 / 25
utline Propositions Truth table Adequacy
Outline Propositions Truth table Adequacy Yi Li (Fudan University) Discrete Mathematics March 17, 2014 3 / 25
Sentences dle Consider the following statements
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements @ I am a student
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements o am a student @I am not a student
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements o am a student o I am not a student o I am a student and I study computer science
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements o am a student o I am not a student I am a student and i study computer science e I am a boy or I am a girl
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements o am a student o I am not a student I am a student and i study computer science I am a boy or I am a girl o If I am a student i have a class in a week
Sentences 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 17, 2014 4 / 25
Sentences amp dle Consider the following statements o am a student o I am not a student I am a student and I study computer science I am a boy or I am a girl If I am a student i have a class in a week I am student if and only if I am a member of some unIversity
Sentences 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 17, 2014 4 / 25