1、附加前提规则,如果从给定前提集合Γ与公式p(附加前提)中推出结论s,则给定前提Γ,能推出p蕴含s:
1、使用P规则,把R当作一般前提(就像S一样)来使用;但应加以说明:附加前提。
2、当推导出C之后,可直接写出最后的结论:R→C;这一步的说明是:CP规则。
1、附加前提规则,如果从给定前提集合Γ与公式p(附加前提)中推出结论s,则给定前提Γ,能推出p蕴含s:
1、使用P规则,把R当作一般前提(就像S一样)来使用;但应加以说明:附加前提。
2、当推导出C之后,可直接写出最后的结论:R→C;这一步的说明是:CP规则。