Discrete mathematics Yi li Software school Fudan University April 1, 2012
Discrete Mathematics Yi Li Software School Fudan University April 1, 2012 Yi Li (Fudan University) Discrete Mathematics April 1, 2012 1 / 20
Review o Formation tree o Parsing algorithm
Review Formation tree Parsing algorithm Yi Li (Fudan University) Discrete Mathematics April 1, 2012 2 / 20
utline Truth assignment Truth valuation o Tautology o Consequence
Outline Truth assignment Truth valuation Tautology Consequence Yi Li (Fudan University) Discrete Mathematics April 1, 2012 3 / 20
Truth Assignment How we discuss the truth of propositional letters? Definition(Assig gnment a truth assignment a is a function that assigns to each propositional letter Aa unique truth value A(A)∈{T,F}
Truth Assignment How we discuss the truth of propositional letters? Definition (Assignment) A truth assignment A is a function that assigns to each propositional letter A a unique truth value A(A) ∈ {T, F}. Yi Li (Fudan University) Discrete Mathematics April 1, 2012 4 / 20
Truth∨ aluation How we discuss the truth of propositions? Exampl e Truth assignment of a and B and valuation of(av B) B(a③)
Truth Valuation How we discuss the truth of propositions? Example Truth assignment of α and β and valuation of (α ∨ β). α β (α ∨ β) T T T T F T F T T F F F Yi Li (Fudan University) Discrete Mathematics April 1, 2012 5 / 20