This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

  • 这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
  • 来源:互联网摘选更新时间:2026-07-01 18:09:51

  • 重点词汇
  • completenessn.完全;完全性;完整性;
  • ofprep. 关于;属于…的;由…制成;
  • methodn.方法;有条不紊;
  • resultn.结果;胜利;分数,业绩;成效;
  • first order第一级,初指令;一阶;
  • logicn.逻辑(学);思维方式;(做某事的)道理;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • AND与(计算机逻辑运算的一种,或称逻辑乘法) AND gate “与”门(电路,脉冲);
  • systemn. 体系,系统;制度;身体;方法;
  • 相关例句
1、

At present in logic people have different opinions on the question whether reduction to absurdity is direct refutation or indirect one.

在反驳方法中,归谬法究竟属于直接反驳还是间接反驳,目前的逻辑学界还存在着较为严重的分歧。

互联网摘选

2、

The Knowledge of Language Philosophy: Conjectures and Refutations

论语言哲学知识的猜测与反驳

互联网摘选

3、

Refutation of some propositions in the "stream of Oriental consciousness"

“东方意识流”疑窦辩驳

provided by jukuu

4、

The method, conjectures and refutations, has great significance to the development of the Economics of our country.

猜想和反驳的方法对我国的经济学发展也具有重要的现实意义。

互联网摘选

5、

I think trying to develop systematic theory leads to potential advances, even if only in the refutation of the theory.

我相信建立系统理论、哪怕单是对理论进行反驳都可以引至潜在的进步。

provided by jukuu

6、

The laboratory data are processed, and the computational parameters are ascertained by use of the refutation analyses.

处理试验数据,运用反演分析,确定计算参数。

互联网摘选

7、

The lengths of unit refutations from Horn sets in the worst case are discussed.

本文讨论了在最坏情况下基本Horn集上的单元反驳长度上界.这一上界对某些Horn集来说是可达到的。

互联网摘选

8、

Supervised Learning of Heuristic Function for Refutation

反演启发函数的监督学习算法

互联网摘选

9、

As a kind of ideology, it is a refutation of the traditional realistic drama;

作为一种观念,它是对传统的写实性戏剧的反拨;

互联网摘选

10、

Refutation, as one of the important logical methods to explore and develop truth is often used in debates.

反驳作为人们探求和发展真理不可或缺的重要逻辑方法之一,在论辩中经常被运用。

互联网摘选

11、

Trial-and-Error Method in Thinking Experiment: Hypotheses and Refutation in Jurisprudential Studies

思想实验中的试错:法理学研究方法中的猜想与反驳

互联网摘选

12、

Ten Years' Developments of Refutation Systems

否证法十年来的发展

互联网摘选

13、

Refutation on the Circulation of State-owned Stock to Redefine the State-owned Enterprise

从国有股流通的争论谈国有企业的再定位

互联网摘选

14、

A Fast Counterexample Minimization Algorithm with Refutation Analysis and Incremental SAT

基于悖论分析和增量求解的快速反例压缩算法

互联网摘选

15、

How to strengthen the Power of Refutation in a Debate

如何加强论辩中反驳的力度

互联网摘选

16、

Experiences without scientific refutation cannot replace conclusions;

无科学证伪的经验阐发不能代替结论;

互联网摘选

17、

In order to strengthen the power of refutation, it is necessary to master some methods.

为了加强反驳的力度,掌握一定的方法是十分必要的。

互联网摘选

18、

New methods of logic inference of Petri net based on resolution refutation

基于归结反演的Petri网推理新方法

互联网摘选

19、

Hence, a refutation of Acheson may benefit many Chinese by widening their horizon.

驳斥了艾奇逊,就有可能使得广大的中国人获得打开眼界的益处。

互联网摘选

20、

Secondly, the international coordination and cooperation is the keynote of international relations, It will remain to be seen whether G20 will become the center of global governance or not.

第二,国际协调与合作是国际关系的基调,G20能否成为全球治理中心还有待观察。

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈