命题变量

词组短语

propositional variable

与命题变量相关的网络例句 [注：此内容来源于网络，仅供参考]

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；变量测量效度与命题验证效度之间的区别是什么？

与命题变量相关的网络解释 [注：此内容来源于网络，仅供参考]

universal affirmative proposition：全称肯定命题

univariable series 单变量级数 | universal affirmative proposition 全称肯定命题 | universal bundle 通用丛

fetch：获取

使用这些语言,您 命令程序执行指令序列:把某些数据 放入(put)变量中;从变量中 获取(fetch)数据; 循环(loop)一个指令块 直到(until)满足了某些条件; 如果(if)某个命题为 true,那么就进行某些操作.

logical variable：逻辑变量

logical symbol 逻辑符号 | logical variable 逻辑变量 | logically true proposition 逻辑地真命题

logically true proposition：逻辑地真命题

logical variable 逻辑变量 | logically true proposition 逻辑地真命题 | logicism 逻辑皱

propositional variable：命题变量

propositional function 命题函数 | propositional variable 命题变量 | proprietary account 业主帐户

univariable series：单变量级数

univariable series 单变量级数 | universal affirmative proposition 全称肯定命题 | universal bundle 通用丛

until：到

使用这些语言,您 命令程序执行指令序列:把某些数据 放入(put)变量中;从变量中 获取(fetch)数据; 循环(loop)一个指令块 直到(until)满足了某些条件; 如果(if)某个命题为 true,那么就进行某些操作.

propped cantilever：加撑悬臂梁

propositional variable ==> 命题变量 | propped cantilever ==> 加撑悬臂梁 | proprietary account ==> 业主帐户

variants：變量

在命题中,自我认同的词语单位根据不变的规则进行各种不同的组合,构成了由常量(constants)所控制的独立的变量(variants),或然性或新的可能性就是由这些变量的聚合(convergence)生发出来的.

Quantifiers and Bound Variables：量词和约束变量

4. Tacit and Propositional Knowing 默会认识和命题认识 | Ⅲ. Quantifiers and Bound Variables 量词和约束变量 | 1. Functions and Concepts 函数和概念