CExercise $131.$ Give the formal definition of the powerset interpretation for the set of all propositions $($see Section $3\mathrm{.}2\mathrm{.}2)$ relative to a valuation.