するとformula_6の付値はformula_117の内部、すなわちformula_118であり、目的の論理式の付値はformula_115およびformula_118の和集合、すなわちformula_121となる。