众所周知，在古典逻辑中，逆否对称性是永真公式。
As we know, contrapositive symmetry is the tautology in classical logic.
此外，本系统中的各组原始公理还是自足的，即如想推出只含某些函数符号的永真公式时只须使用相应的公理便成。
This system is self-suffient in the sense that if we wish to deduce an equality involving only some of the three functions, then we need only to make use of the corresponding axioms.
本文详细介绍了岩层真厚度计算公式，在袖珍计算器中进行计算程序编排的方法。
This paper introduces in detail the formula for calculating the true thickness of strata and the method for the programming of the calculation by use of the pocket calculator.
将数学方法与地质实际相结合，严密推导出一个岩层真厚度计算的新公式。
Combined with mathematics and geological practice, a new expression for calculating true thickness of terrene is deduced.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
为了在油气田开采中准确地判别油气层，根据阿尔奇公式的基本原理，探讨了用真电阻率与侵入带电阻率交会图判别油气层的方法。
According to the principle of Archie equation, this paper puts forword the method using Rt-Ri crossing plot to discriminate oil and gas reservoir.
推导出计算真目标受到ARM多次攻击时被杀伤概率的通用公式。
A universal formula for computing killed probability of the true targets under the attacks of ARM time after time was educed.
由此总结出真-视二级参数间相互关系的近似计算公式。
From the conversion formulas, the approximativeinterrelation formulas between true and apparent parameters are deduced.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
结合附合导线平差过程，文中用真误差分析方法推导了起始方位角误差对附合导线平差结果的影响公式；通过分析与数据计算，得到了起始方位角误差对平差后导线点坐标和导线边方位角的影响规律；
By its adjustment procedure, the effect formula of initial-bearing's error on adjustments of a straight and equal-side connecting traverse are introduced with the method of true error analysis.
结合附合导线平差过程，文中用真误差分析方法推导了起始方位角误差对附合导线平差结果的影响公式；通过分析与数据计算，得到了起始方位角误差对平差后导线点坐标和导线边方位角的影响规律；
By its adjustment procedure, the effect formula of initial-bearing's error on adjustments of a straight and equal-side connecting traverse are introduced with the method of true error analysis.
应用推荐