规则组合可拆分所有条款

Question

规则conjI按如下所示拆分一个连词：

show "A ^ B ^ C ^ D"
proof(rule conjI)
  show "A" sorry
next 
  show "C ^ D" sorry"

是否有任何规则可以分割所有由连词连接的术语？像这样：

show "A ^ B ^ C ^ D"
proof(rule ?)
  show "A" sorry
next 
  show "C" sorry"
next 
  show "D" sorry"

Answer 1

您不能使用单个规则应用程序来执行此操作，但是可以执行intro conjI以将其彻底应用。

还有一种safe方法可以完成各种操作（拆分产品，应用适当的介绍/消除规则等）。