Assignment and valuation Definition(Valuation A truth valuation v is a function that assigns to each proposition a a unique truth value v(a) so that its value on a compund proposition is determined in accordance with the appropriate truth tables Specially, v(a) determines one possible truth assignment if a is a propositional letter
Assignment and Valuation . Definition (Valuation) . . A truth valuation V is a function that assigns to each proposition α a unique truth value V(α) so that its value on a compund proposition is determined in accordance with the appropriate truth tables. Specially, V(α) determines one possible truth assignment if α is a propositional letter. Yi Li (Fudan University) Discrete Mathematics April 2, 2013 6 / 20
Assignment and valuation merrem Given a truth assignment a there is a unique truth valuation V such that V(a)=A(a) for every propositional letter a roo The proof can be divided into two step O Construct a v from a by induction on the depth of the associated formation tree o Prove the uniqueness of v with the same A by nduction bottom-up
Assignment and Valuation . Theorem . . Given a truth assignment A there is a unique truth valuation V such that V(α) = A(α) for every propositonal letter α. . Proof. . . The proof can be divided into two step. 1. Construct a V from A by induction on the depth of the associated formation tree. 2. Prove the uniqueness of V with the same A by induction bottom-up. Yi Li (Fudan University) Discrete Mathematics April 2, 2013 7 / 20