网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇:

 

词汇 Cut rule
分类 英语词汇 英语翻译词典
释义

Cut rule

原声例句
戏剧速成小课堂

And there aren't a lot of cut and dried rules or cheap laughs.

这部剧并没有太多千篇一律的规则或者低俗的段子。

VOA Special 2017年4月合集

But Trump says cutting the rules on power plant emissions will create jobs for Americans.

但特朗普表示,削减发电厂排放规定将为美国人创造就业机会。

英语百科

Cut rule

In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.

随便看

 

依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。

 

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/6 2:17:51