本文为道义模态逻辑D—系统建立布尔值模型。

The paper built a Boolean_valued model for the deontic logical D_system .

youdao

所以我们有一个演绎的有效论点,但是这不是演绎有效的,实际上我们模态逻辑有很多要讲的,然后我们再讲道义逻辑。

So again we have a deductively valid argument but it's not deductively valid in actually we're a lot further on in modal logical then we are in deontic logic.

youdao