|
关注：1
2013-05-23 12:21
求翻译：In classical deductive logic, a consistent theory is one that does not contain a contradiction.[1][2] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent if and only if it has a model, i.e. there exists an interpretation under which 是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
In classical deductive logic, a consistent theory is one that does not contain a contradiction.[1][2] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent if and only if it has a model, i.e. there exists an interpretation under which
问题补充： |
|
2013-05-23 12:21:38
在古典演绎逻辑，一个一致的理论是一个不包含一个矛盾。 [1 ] [2]矛盾的缺乏可在任一语义或语法来定义。
|
|
2013-05-23 12:23:18
在古典演绎逻辑,一个一贯的理论是一种不包含一种矛盾.[1][2]缺乏的矛盾可以定义在语义或语法。 美国的语义定义,一个理论是一致如果是并仅如果它提供了一种模型,即存在着一个解释在这种气氛下,所有公式的理论中都是如此。 这是在传统意义上使用亚里士多德逻辑,尽管在当代数学逻辑是无法满足这一术语而不是使用。
|
|
2013-05-23 12:24:58
在古典演绎的逻辑，一种一致的理论是不包含一个矛盾。1( 2)() 缺乏矛盾可以被定义用语义或语法术语的一个。 语义定义阐明，理论是一致的，如果，并且，只有当它有一个模型，即。 那里存在之下所有惯例在理论上是真实的解释在。 这是用于传统亚里士多德的逻辑的感觉，虽然在当代数学逻辑规定可以满足改为使用。 语法定义阐明，理论是一致的，如果，并且，只有当没有惯例P这样P和它的否定从理论的公理是可证明的根据它伴生的演绎的系统
|
|
2013-05-23 12:26:38
正在翻译，请等待...
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
