The paper proves that the Boolean value of the modal propositional system P?5 are 1, which means V?B(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P?5.?

• 证明模态系统P5的协调性.；即:证明了模态系统P5的所有公理的布尔值为1