查询词典 logically true proposition

The hypothetical proposition under necessary conditions ; the Chinese expression and its classification ; the basis of the true or false judgment ; the equivalent expression of the true proposition ; the and - syllogism under necessary conditions

徐州师范大学文学院； 221116；徐州师范大学学报，，编辑部邮箱 2003年 03期必要条件假言命题；汉语表达形式及其分类；判定真假的依据；真命题的等值式；必要条件反三段论

If an elementary proposition is true, that means, at any rate, one more true elementary proposition.

如果有一个基本命题为真，那就意味着无论如何有多于一个的基本命题为真。

For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual.

例如，一个必然真命题，就是无论哪一个可能世界成为现实世界都会是真的命题。

Their relation of satisfaction is that if a reasontyped concrete proposition is true, the corresponding statementtyped concrete proposition will be true.

追求形式真理，是逻辑科学特有的任务和使命，因而形式真理是逻辑科学基本的、核心的概念，是逻辑学存在和发展的惟一根据。

Some Medieval philosophers supposed that the fact that true propositions are of the two sorts "necessarily true" and "contingently true"(and the corresponding fact about false propositions) showed that there were two "modes" in which a proposition could be true: the mode of contingency and the mode of necessity—hence the term 'modality'.

所以有了"模态『modality』"这个词。

However, when a proposition P is determinately specified for our consideration and then found, for principled reasons, to be not conceivably true, that is surely some kind of strong evidence against the claim that P is logically possible.

无论如何，当一个命题P是对我们的设想是确定地特定的，那么原则上说，发现不是可设想为真的，这是一类强证据反对P是逻辑可能的。

Logic of a proposition; necessarily true or logically certain.

一个命题；必然真实的，可明确论证的。

RAW Height Map#define STEP_SIZE 16 // Width And Height Of Each Quad#define HEIGHT_RATIO 1.5f // Ratio That The Y Is Scaled According To The X And Z HDC hDC=NULL;// Private GDI Device ContextHGLRC hRC=NULL;// Permanent Rendering ContextHWND hWnd=NULL;// Holds Our Window HandleHINSTANCE hInstance;// Holds The Instance Of The Application bool keys[256];// Array Used For The Keyboard Routinebool active=TRUE;// Window Active Flag Set To TRUE By Defaultbool fullscreen=TRUE;// Fullscreen Flag Set To TRUE By Defaultbool bRender = TRUE;// Polygon Flag Set To TRUE By Default 这里我们用了一个字节数组g_HeightMap

在这篇教程中图的大小是1024×1024.STEP_SIZE是我们用来绘制地形的正方体的大小，减小步长，地形图就会变得更加平滑。有一点很重要，步长越小你的程序所做的工作就将越多，特别是在使用大的高度图时。HEIGHT_RATIO用来缩放地形的Y轴的值，较小的HEIGHT_RATIO可以用来绘制较平的山，较大的HEIGHT_RATIO用来绘制较高的山。在下面的代码中，你会看到变量bRender。如果bRender的值为真，我们就填充模式绘制多边形，如果它的值为假，那么我们就用线框模式绘制地形。

Today's exminers master many interviewing skills,if the officers want to know all that he says is true or false,there are four knacks: If that is true,the examiner will adopt the first person,using"I..."to begin; If that is true, he looks self-confidence when he says;If that is true,he will straight look at the officer and communicate on the table;If that is true,it's similar between what he says and what is in the resume or and what you have mastered about his former company . After that, we can judge ultimately that is true.

现在的应聘者掌握了很多面试技巧，招聘者要想知道他说的是事实还是谎言有四个诀窍：第一、如果应聘者所说是事实，通常会采用第一人称，用&我……&来开场；第二、说话时会显得很有信心；第三、他的眼神会直视招聘人员，公开地交流；第四、说话的内容明显和简历上的内容相符，或者和你掌握的有关他原公司的内容相符，这时，我们基本可以判断，这个人所说是事实。

The author points out: if lots of the conflicts of philosophical foundation the 20th century's quantum mechanics faced with, well-known to everybody, should be logically attributed to the confusions of the some fundamental concepts in the classical electromagnetic field theory, the series of logic inconsistencies implied in the classical electromagnetic theory and the forms of difficulties the modern computational electromagnetism encounters while solving time-varying electromagnetic field should be also logically attributed to an anomalous fact that series of fundamental mathematical propositions relating with bispinor differential operator, which naturally appears in the formal expression about dynamic electromagnetic field, have not be solved really while the related complete mathematic physical models or well posed boundary value problems have not been built.

著者指出：如果说20世纪的量子力学之所以面对哲学基础众所周知的矛盾，在逻辑上最终不能不归咎于经典电磁场理论体系的一些基本概念并没有真正得到澄清的话，那么，经典电磁场理论体系隐含的众多逻辑不自洽问题与目前计算动态电磁场所面对的困境，则必须逻辑地归咎于与双旋度微分算子相关的一系列基本数学命题并没有解决，而相关的恰当数学物理模型至今没有真正建立起来的缘故。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。