strict implication
- strict implication的基本解释
-
-
严格蕴涵
- 更多网络例句与strict implication相关的网络例句 [注:此内容来源于网络,仅供参考]
-
According to given formal semantic, it has been proven the soundness and completeness of this system, and paradoxes of strict implication does not be occurred in this system.
根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现。
-
According to my opinion, There is a remarkable difference between these two expressions and Marx's idea of the universal development of individuals has a strict theoretical implication.
本文强调,这两种提法是有重要差异的,马克思说的"个人全面发展"是有严格的理论含义的。
-
It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。
-
Hangzhou 310027,China)Abstract :It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。
-
This article discusses the track of the development of implication theory, generalizes B.Russell"s idea about implication,simply induces such implication theories as C.I.Lewis""strict implication" W.Ackermann"s "relevant implication" and so on, and analyzes the relations among these theories, emphasizes that material implication"s basic status in mathematical logic.
论文还从历史发展的角度阐述了蕴涵理论发展的轨迹,总结了罗素对蕴涵问题的认识,简要归纳了刘易斯的"严格蕴涵"、阿克曼等的"相干蕴涵"及安德森和贝尔纳普的"衍涵"等为代表的蕴涵理论的几种形态,并对这几种理论形态之间的关系进行了细致地对照,强调了实质蕴涵在数理逻辑中的基础地位。
- 加载更多网络例句 (1)
- 更多网络解释与strict implication相关的网络解释 [注:此内容来源于网络,仅供参考]
-
strict implication:严格蕴涵
bethought bethink的过去式和过去分词 | strict implication 严格蕴涵 | broad-billed 宽喙的
-
strict implication:严格隐含
streaming tape drive 数据僚带机 | strict implication 严格隐含 | strict type checking 严格型检验
-
strict implication:严格的蕴含[廖
stratificational sampling 層次的抽樣方法[陶] | strict implication 嚴格的蘊含[廖352] | string of word 詞語序列[呂253]
-
strict implication:严格涵蕴
statement 陈述 | strict implication 严格涵蕴 | strict laws 严格定律