Discrete mathematics Software school Fudan University April 2, 2013
. . Discrete Mathematics Yi Li Software School Fudan University April 2, 2013 Yi Li (Fudan University) Discrete Mathematics April 2, 2013 1 / 20
Review o Formation tree o Parsing algorithm
Review Formation tree Parsing algorithm Yi Li (Fudan University) Discrete Mathematics April 2, 2013 2 / 20
utline o Truth assignment Truth valuation Tautology o Consequence
Outline Truth assignment Truth valuation Tautology Consequence Yi Li (Fudan University) Discrete Mathematics April 2, 2013 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 A a unique truth value 4(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 2, 2013 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 2, 2013 5 / 20