查询词典 truth function

A proposition is a truth-function of elementary propositions.

命题是基本命题的真值函项。

A proposition is a truth-function of elementary propositions.

命题是基本命题的真值函应（基本命题的真函是它自己。

Bernstein argues that our experience of art today is conditioned by the loss of the truth-function of art: with the growth of modern science and technological reason, art is relegated to a separate and autonomous domain of the aesthetic.

伯恩斯坦主张，今天我们的艺术体验受到了失真的艺术功能的制约，随著现代科学与技术理性的成长茁壮，艺术被贬抑为一种分离的、自成一格的美学领域。

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

A modified etching model is proposed, in which the diffusion coefficient is a function of the temperature and concentration and the etching rate constant is a function of temperature.

在前人腐蚀模型基础上考虑扩散系数是浓度和温度的函数，腐蚀速率常数是温度的函数，得到了修正模型。

The descriptive correlation research design was conducted from Mar. 2004 to Feb. 2005. Patients who had their first CABG surgery were selected by purposive sampling from the cardiovascular ward at a medical center in Taichung. Baseline data were measured by symptom distress scale, self-efficacy in physical function scale and physical function scale, collected one day before operation, ten days after operation, one month and three months after operation, 60 subjects were enrolled in the study.

本研究采描述性相关性之研究设计，从93年3月至94年2月，共计12个月，以立意选样的方式，於台中市某医学中心之心脏外科病房选取初次接受冠状动脉绕道术之病患，以病患基本属性量表、身体症状困扰量表、身体功能状态量表与身体功能之自我效能量表分别於术前1日、术后十日内、术后1个月及术后3个月收集资料，符合收案条件者共计95人，最后完成资料收集者有65人。

This is my last OpenGL for a project to use the "three-dimensional vector space / point" and related functions, they can use a definition of space vector / points, for the vector translation, zooming and rotation, the use of correlation function can also achieve two vector by the fork, get a Vectors absolute length of a vector unit, received a 3:00 decision vector perpendicular to the plane, a space to be the distance between two points, two vector to be the plot points, to be the angle between two vectors, such as operating for the use of user-friendly, each function is detailed Notes, it is particularly important if the calculation vector plot points, fork also took note, we hope to have useful.

这是我过去进行一个OpenGL项目时使用到的"三维空间向量/点"类及相关函数，使用它们可以定义一个空间向量/点，实现向量的平移，缩放和旋转等，使用相关函数还可以实现两向量的叉乘，得到一个向量的绝对长度，将一个向量单位化，得到一个三点决定的平面的垂直向量，得到空间中两点的距离，得到两向量的点积，得到两向量的夹角等操作，为方便用户的使用，每个函数都有详细的注释，特别重要的向量计算如点积，叉乘还有相关说明，希望对大家有所用处。

Theorem 1 constructs a set of universal measure zero using continuous extension; Theorem 2 verifies absolutely continuous function being of good property under some condition; Theorem 3 reveals some relation between real function and meager.

定理1 主要运用了连续延拓构造了一个泛测度零集；定理2 证明绝对连续函数在一定条件下具有良好的性质；定理3 揭示了实函数与第一纲集的某种关系。

Suppose Y is an absolutely continuous random variable symmetric about 0 with probability density function f and cumulative distribution function F.

假设Y是一绝对连续且对称於0的随机变数，其机率密度函数为f，而分布函数为F。

The definition of the absolute value for a fuzzy number is obtained.Furthermore,a lot ofproblems,such as absolute integrability,bounded variation and absolute continuity,arepresented and discussed.The representation theorem of the absolute values of fuzzy num-bers is established.It plays an important role in discussing the problems conceming theabsolute value.The relation between the absolute integrability and integrabili-ty is discussed,and the following result is obtained:aintegrable fuzzy-number-valued function is absolutely integrable iff it is integrable.The relation between theabsolute integrability and the absolute continuity of the primitive for fuzzy-number-valuedfunctions is dealt with.It is also pointed out that a fuzzy number valued function is ab-solutelyintegrable if and only if its integral primitive is fuzzy absolutely continuous.

提出了模糊数绝对值的概念并讨论了与绝对值相关的一系列问题，如绝对可积性、有界变差性、绝对连续性等，给出了模糊数绝对值的定义以及表示定理，该表示定理在涉及绝对值问题的讨论中起非常重要的作用；讨论了绝对可积与可积之间的关系，得到了结论：可积的模糊数值函数绝对可积的充要条件是该模糊数值函数可积；给出了模糊数值函数绝对可积与其积分原函数绝对连续性之间的关系，指出模糊数值函数绝对可积的充要条件是其原函数模糊绝对连续。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。