复旦大学：《离散数学》习题课讲义（李弋）04 Propositions Truth table Adequacy

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