武明的回答：

前提是H1,H2,...,Hn,欲证结论R→P(结论是条件式),则将条件式作为附加前提证得P即可,这就是CP规则. 设H=H1∧H2∧...∧Hn,由前提H证明R→P,即证明H→(R→P)永真,而H→(R→P)等价于H∧R→P,因此证明H∧R→P永真即可.

尐°吖頭ル﹖的回答：

cp是电脑版 再看看别人怎么说的。

☆☆顺其自然的回答：

自然数的意思，没有*就是包括0的所有整数，有了*就是不包括0的整数，就是自然数，自然中有123456789等等数字。。。所有叫自然数