查询词典 it is true

The word 'true' also operates as a truth-functional connective, as in 'It is true that Antarctica is not wholly within the Antarctic Circle': its truth table is like that of negation with the truth values reversed.

当我们说一个话语或信念是真的，我们就是在断定该话语与信念的真值，因此，在我看来把"真"当作一个属性并没有坏处——一些信念与话语有而另一些则无。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

BASEBALL GLOVE垒球套答到: That is true. at least it is true for me.

BASEBALL GLOVE垒球套听了，答到：真的，至少对我来说是这样的！

. true to monitor body scroll and reposition. If this parameter is a number, it is used as the buffer delay (defaults to 50ms).

true表示为随着body的变化而重新定位，如果此参数是一个数字，那么将用于缓冲的延时

This is true in detective work; it is true in prosecutorial work.

这是事实，在侦查工作，它是真正在检察工作。

Thus ,a disjunction is true when at least one of the two propositions in it is true.

当既不是星期五而且也不下雨的时候这个命题才是错误的。

That sounds like it would be true, but I don't think it is true.

这听上去是这么回事，但是我不这么认为。

Well, one thing that's true about Stephen Hawking's remark- I mean, it is true, but it's the wrong emphasis.

这就是霍金教授言论的确凿之处，我是说，他意思是对的，可是他的着重点错了。

Law students and lawyers from non-Anglo-American countries learn that Anglo-American can law is "case "law or "judge-made law "That 's true to an extent , but in reality a significant portion of the law of the United States is codified Of course , it is true that in some cases no statutory or constitutional provisions will apply .

来自非英美国家的法律专业学生和律师都知道，英美法是&判例法&或者是&法官制定的法&。这在一定程度上来说是对对的。但是事实上美国法律也有一大部分是以成文法的形式存在的。当然，在一些案例中确实没有成文法或者宪法条文可以被适用。

If it is an editable DataGrid, we need attributes to set it to true or false.

如果它是一个可编辑的DataGrid中，我们需要的属性设置为true或false。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。