观察某种型号节能灯的寿命，如果事件C表示“使用寿命超过6000小时”，则C={x: x>6000}.
查看答案
以下对附加前提证明说法不正确的是。
A. 该方法对任一种形式的推理均可使用。
B. 当且仅当推理的结论是蕴含式，才可以使用附加前提证明法。
C. 使用该方法的第一步，是将结论的后件作为附加前提引入。
D. 附加前提证明法是自然推理系统p中的一种推理证明方法。
对推理的证明有真值表法、等值演算法、析取范式法、永真蕴含证明法、归谬法、反证法、附加前提证明法。共七种证明方法。
A. 对
B. 错
自然推理系统中对推理的证明形式分为三列，第一列写序号，第二列写推理过程，第三列写使用到的推理规则。
A. 对
B. 错
在自然推理系统P中，对任意一组推理都可以使用附加前提证明法和归谬法。
A. 对
B. 错
微信支付 
支付宝支付