真

If consciousness is not necessitated by physical truths, then it must involve something ontologically novel in the world: to use Kripke's metaphor, after fixing all the physical truths, God had to do more work to fix all the truths about consciousness.

如果意识对物理真不是必要的，那么必然包含某种存有上奇怪的东西：用Kripke的方法，在固定所有物理真之后，God要做更多事情来固定关于意识的真。

A theorem of the alternative for the generalized subconvexlike set-valued maps is established using the separation theorem of convex sets in a Banach spaces, the concept of weak Benson proper efficient elements for a vector optimization problem is introduced, and the optimality necessary and sufficient Lagrange conditions for a vector set-valued map constrained optimization problem with the weak Benson proper efficiency is developed, with which the optimality Lagrange conditions for a nonconvex vector top-base constrained optimization of set-valued maps with the Benson proper efficiency are obtained.

刘莹 ，刘三阳，盛宝怀运用凸集分离定理对广义锥次类凸集值映射建立了一种择一性定理。引入向量优化弱Benson真有效元的概念，对带约束的非凸向量集值优化问题建立了在弱Benson真有效意义下有效元应满足Lagrange乘子型的必要及充分条件，并用这一结果建立了多目标主从非凸向量集值优化在弱Benson真有效意义下最优解的Lagrange乘子型充要条件。

The relationship between the proterozoic Era and explosive evolution of the life on the Cambrian period was preliminary explored by an Ecological and Evolutionary approach in this paper.

距今38亿年前地球最早生命诞生以来，至元古代早期第一个真核细胞开始出现；从无性分裂或出芽繁殖的原核生物到有性繁殖的真核单细胞生物以及从单细胞的原生动物到真核多细胞的后生动物的进化，无疑是生命进化过程中非常重要的事件。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

The second part briefly tries to retouch Tarski's theories and the method of definition of truth in formal language.

第二部分描述了塔尔斯基的真之理论，关于形式化语言中对"真"进行匡定的方法，第三部分描述了塔尔斯基的真之理论的重大意义和深远影响。

If there are totally 1000 dissidents about the same object occurred, and all of them insist that they are right, then, in accordance with the fundamental of the uniqueness of existent factuality of the nature determines the unique possibility of science verity, we can only draw our conclusion like this: among the 1000 dissidents, there must be at least 999 of them self-deceiving except 1 maybe possible to be true.…….

针对同一自然存在，如果科学认识存在1000种异议，而且都坚持"自己是正确的"，那么依照"自然存在'唯真'决定科学认识'唯真'"原则，只能得出这样的结令：这1000种异议中，至少有999种在"自欺欺人"，唯有1种"可能"为真。……。

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

Truth Table -- Demonstrates the result of errors in hypothesis testing by comparing the truth with the findings, based on the statistics.

真值表 --在假设检验中将计算出的统计量和真值比较表示实际结果的误差情况，如果与真值不符，表示出现了误差。

I'm gonna go pack my regular, long bathing suit.

我要去打包我那不起眼的超长泳裤

Random number generators are used in many areas, with the improvement of the computational ability of the computer.

随着计算机计算能力的不断提高，随机数发生器在许多领域有了更加广泛的应用。