Proof和Argument的本质区别

Proofs和Arguments在逻辑和零知识协议中有本质区别。Proofs基于已知真理的演绎,而Arguments的结论可作为其他论证的前提。在零知识背景下,证明通常具有计算零知识,而论证可能达到完美零知识。
摘要由CSDN通过智能技术生成

一、wiki

1.Argument

An argument, more fully a premise–conclusion argument, is a two-part system composed of premises and conclusion. An argument is valid if and only if its conclusion is a consequence of its premises. Every premise set has infinitely many consequences each giving rise to a valid argument. Some consequences are obviously so, but most are not: most are hidden consequences. Most valid arguments are not yet known to be valid. To determine validity in non-obvious cases deductive reasoning is required. There is no deductive reasoning in an argument per se; such must come from the outside.
Every argument’s conclusion is a premise of other arguments. The word constituent may be used for either a premise or conclusion. In the context of this article and in most classical contexts, all candidates for consideration as argument constituents fall under the category of truth-bearer: propositions, st

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值