命题变量

Conjunctive Normal Form Satisfiability: SAT solvers returns an assignment to the variables of a propositional formula that satisfies it if such an assignments exists.

合取范式可满足：周六解题的转让收益的变量的命题公式，满足，如果存在这样的任务。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

Consideration of size leads to a general proposition for quadratic forms in normal variate which gives conditions for a class of test statistics, which are chi-square under

正态变量的二次齐次式给出了一类统计检验的条件，对大小的考虑引出了一个对其一般性的命题，即在分类正确若为卡方分配，在分类有误时将有向上偏误。

Consideration of size leads to a general proposition for quadratic forms in normal variate which gives conditions for a class of test statistics, which are chi-square under correct specification, to be oversized under misspecification.

正态变量的二次齐次式给出了一类统计检验的条件，对大小的考虑引出了一个对其一般性的命题，即在分类正确若为卡方分配，在分类有误时将有向上偏误。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

Along with the researches of the twoproblems herebefore,the paper connected internally the institutional orsystematic factor and transformation of the economic growth mode,onthe basis of which,a fundamental proposition was put forward thatinstitutional or systematic factor had become in fact the main decisivefactor and the important explanatory variable of China's transformationof the economic growth.

循着这两个问题所作的研究，将制度或体制因素与经济增长方式及其转变与否内在地联结了起来，并在此基础上，提出了制度或体制因素事实上已经成为中国经济增长方式能否转变的主要决定因素和重要解释变量的基本命题。

"Tension between particularizing and generalizing objectives"

61599；变量测量效度与命题验证效度之间的区别是什么？

Methods: Five patients with parkinsonism or dystonia were assigned to general anesthesia using an modified endotracheal tube.

本实验依照人体实验之相关规定进行，五位患有帕金森氏症或肌张力异常的病人接受神经立体定位手术。

If you can benefit from this book, it is our honour.

如果您能从本书获益，这将是我们的荣幸。