1) refutation and falsification
反驳与证伪
2) proof and refutation
证明与反驳
1.
Lakatas based on Polya s work, and regards proof and refutation as feature, is introduced emphatically.
回顾了对数学发现的逻辑的研究进程,着重介绍了拉卡托斯在波利亚的基础上提出的以猜想、证明与反驳为特征的数学发现的逻辑。
3) disproval
[英][dis'pru:vəl] [美][dɪs'pruvəl]
反证;反驳
4) rebuttal evidence
反驳的证据;反驳证据
5) verification and falsification
证明与证伪
1.
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
文章从两个角度介绍安全协议形式化验证的方法:证明与证伪。
6) misunderstanding and refutation
误解与反驳
补充资料:反驳
说出自己的理由,来否定别人跟自己不同的理论或意见。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条