一个命题 - 翻译成英语

• proposition
• statement

在 中文 中使用 一个命题 的示例及其翻译为 英语

Brouwer并不认为一个命题如果不为假，则必为真。
Brouwer does not consider it valid to conclude that if a proposition is not false, that it must be true.

如果一个命题的真实性可以通过多于一种方式来确立，则相应的连结词有多个介入规则。
If the truth of a proposition can be established in more than one way, the corresponding connective has multiple introduction rules.

罗素的功绩在于表明了一个命题表面的逻辑形式不一定是它真正的逻辑形式。
It was Russell who performed the service of showing that the apparent logical form of a proposition need not be its real one.

新罗很好地展示了这样一个命题的真实性：文化可以发展得更具创造性，并与其他文化相结合。
Silla well shows the truth of the proposition that the culture could develop as more creative as it would be mixed with other ones.

归纳常用于表示在一个样本上测试一个命题，或是因为其不切实际，或是因为其不可能付诸行动。
Induction is typically taken to mean testing a proposition on a sample, either because it would be impractical or impossible to do otherwise.

错误严格地与从一个命题到另一个命题的过渡推理有关，而不与事实相关。
Errors are strictly to do with the reasoning used to transition from one proposition to the next, rather than with the facts.

尤其是，真值表可以用来判断一个命题表示式是否对所有允许个输入值侪为真，亦即是否为逻辑有效个。
In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid.

其中一个命题可能会使一些读者感到不适，那就是我们号召发起“诸众创业”。
One proposition that might unsettle some readers is our call for the“entrepreneurship of the multitude.”.

一个命题逻辑的模型需要为每个可能的公式分配值True或False。
A model for propositional logic needs to assign the values True or False to every possible formula.

这是一个命题的基础上经典物理学，因此，不一定没有解释一定的影响。
It was a thesis based on classical physics and as such necessarily failed to explain certain effects.

的确，在狂野的漫画流派中，麦克斯・比尔博姆先生在《欧几里德》第四卷中把他描绘成一个命题。
Indeed, in the wild school of caricature then current, Mr Max Beerbohm had represented him as a proposition in the fourth book of Euclid.

他意识到，一个神经元信号就是一个命题，神经元似乎在像一个逻辑门一样运行，接收多种信号的输入，产生一个单独的输出信号。
A neuron's signal, he realized, is a proposition, and neurons seemed to work like logic gates, taking in multiple inputs and producing a single output.

在这种情况下，“有必要”并不适用于一个命题，但一个东西，它意味着无限的，永恒的，永恒的，自我造成的，自我存在的。
In this case"necessary" does not apply to a proposition but to a thing, and it means infinite, eternal, everlasting, self-caused, self existent.

但是最后一个命题就等价于p自己（而且这种等价性可以在系统内部证明），从而p就可以在系统内证明。
But this last statement is equivalent to p itself(and this equivalence can be proved in the system), so p can be proved in the system.

他发现神经元的信号就是一个命题，而神经元的工作类似于逻辑门，它接受多个输入然后产生单一的输出。
A neuron's signal, he realized, is a proposition, and neurons seemed to work like logic gates, taking in multiple inputs and producing a single output.

上面所引两段话的思想内容可以归结为一个命题：矛盾＝背理，因而它在现实世界中是不可能出现的。
The thought-content of the two passages cited can be summed up in the statement that contradiction=absurdity, and therefore cannot occur in the real world.

一个命题肯定是正确的，只要父母们与孩子一起成长，尽管我们不是天才，但我们完全可以成为天才的父母。
A proposition is certainly correct, as long as parents and children grow together, although we are not genius, but we can become a genius parents.

弗雷格在《概念文字》中以合一的形式├─使用这些符号来声明一个命题是（重言式）真的，而不是简单的宣布它。
Frege used these symbols in the Begriffsschrift in the unified form├─ for declaring that a proposition is(tautologically) true, not simply speaking about that.

由于一个命题是对它的否定的否定，因此，必定也存在着“一个对象能够既是红色的和绿色的”这样一个命题。
Since a proposition is the negation of its negation, there must also exist the proposition'An object can be red and green'.

根据齐泽克,黑格尔那里隐含一种新的‘非连贯逻辑',在该逻辑中,一个命题‘并不真的被它的否定所压制'。
Implicit in Hegel(according to Žižek) is a new kind of“paraconsistent logic” in which a proposition“is not really suppressed by its negation.”.