只需一步,快速开始
2020-8-10 20:37| 发布者: admin| 查看: 12| 评论: 0
前提是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等等数字。。。所有叫自然数
评论
广告服务|投稿要求|禁言标准|版权说明|免责声明|手机版|小黑屋|推扬网 ( 粤ICP备18134897号 )|网站地图 | 邮箱:vayae@hotmail.com
GMT+8, 2025-6-15 12:38 , Processed in 0.068926 second(s), 29 queries .
Powered by Discuz! X3.4
© 2001-2017 Comsenz Inc.