Assignment and valuation If vi and v2 are two valuations that agree on the support of a, the finite set of propostional letters used in the construction of the proposition of the proposition a, then n(a)=2(a)Assignment and Valuation . Corollary . . If V1 and V2 are two valuations that agree on the support of α, the finite set of propostional letters used in the construction of the proposition of the proposition α, then V1(α) = V2(α). Yi Li (Fudan University) Discrete Mathematics April 2, 2013 8 / 20