formula_2なる写像、すなわち命題変数への真理値割り当てを考える。