また"pv"を命題変数全体の集合とし、この"pv"と先に定義したwに対し、関数vを