规则 conjI 拆分所有项
Rule conjI to split all the terms
规则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"
您无法通过单个规则应用程序做到这一点，但您可以intro conjI 彻底应用它。
还有方法 safe 可以执行多种类似的操作（拆分产品、应用适当的 introduction/elimination 规则等）。
规则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"
您无法通过单个规则应用程序做到这一点，但您可以intro conjI 彻底应用它。
还有方法 safe 可以执行多种类似的操作（拆分产品、应用适当的 introduction/elimination 规则等）。