（道义）直陈转移

12.4 道义证明（deontic proofs）

直陈转移规则（indicative-transfer rule）表述为“transfer indicatives freely between a deontic world and whatever world it depends on”，即可以在一个道义世界和它所依赖的世界之间双向转移直陈句。后文的例子也说明了这一点。

但该规则“Indicative transfer”框中却只有单向的衍推箭头。或应改为双向，或加上反向的规则。