查询词典 refutable formula

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

This article also points out that"existence of squares","Out-In Complementary Principle","the principle of limit","Liu-Zu cross -section princeple","the area formula for rectangle and the volume formula for cuboid" determine the nature and lay the foundation of geometry in ancient China.

提出了我国古代论证几何所依据的原始命题，指出"存在正方形"连同"出入相补原理"、"极限原理"、"刘－祖截面原理"以及长方形面积公式和长方体体积公式确定了我国古代几何的性质，奠定了我国古代几何的基础。

In the integral formula of Fourier transforms of option pricing formula,by using residues theorem two integrations were simplified into a single numerical integration which has a faster rate of decay.

在期权定价公式的傅立叶变换积分公式中，运用留数定理将公式中的两个积分式子化简成一个被积函数衰减较快的积分函数式，从理论上提高了计算效率，缩短了计算时间，为投资者快速计算期权价值节约了时间。

It is difficult to compute directly the coefficients from the integral formula, since the integral function in the formula of the ideal digital fractional differentiator is a high-order oscillating function.

从理想数字分数微分器系数计算公式的特点考虑，利用变量代换把积分函数中的振荡因子转换成积分上限，避免高阶振荡函数积分计算，给出了计算分数微分器系数的递推公式。

After that, the analytical formula of the free boundary variable s versus time variable t in the two phase cylinder group melting process. The formula is important to study the factors affecting the group melting.

求出两相圆柱团熔融过程中固液界面s与时间t的解析表达式，它对分析研究影响物料团熔融的相关因素起着重要作用。

This article through analyzes the Fresnel formula thoroughly earnestly, theoretically development and analysis of the application of Fresnel formula.

本文通过认真透彻地分析菲涅耳公式，从理论上拓展和分析菲涅耳公式的应用。

The formula used is the standard Newtonian formula for frictionless movement in a gravity field.

这个公式使用的是重力场中无摩擦运动的标准牛顿公式。

Therefore, we have added natural foods into the formula since 2005 to re-made healthy blended tube feeding formula and fruit-vegetable juice to the in-patients in Taipei City Hospital and the residents in the nursing home.

台北市立联合医院营养部，於2005年起陆续推出以营养丰富且多样化之天然食材为主的自制天然养生灌食配方及蔬果精力汤，供应予住院及护理之家个案使用。

Starting from the Gauss forward interpolation formula, the EVERETT interpolation formula is led in the differential form.

本文从高斯向前插值公式出发，导出了等距节点插值的EVERETT差分公式。

This article illustrates by the specific examples that the integral formula of Gauss s law when having insulator is a macrocosm formula under a certain condition and it can t explain microcosm .

该文通过具体例子说明了有介质时的高斯定理的积分形式是在一定条件下的宏观表达式，它不能解释微观现

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。