Sys是一个逻辑字段,其值可以为真或假。
表达式节点支持包含算术和布尔(真或假逻辑)运算符的简单表达式。
Expression nodes support simple expressions involving arithmetic and Boolean (true or false logic) operators.
摘要逻辑实证主义认为形而上学表述的都是经验之外的命题,由于它们无法被证实真与假,所以根本就没有意义。
Logical positivism thinks that metaphysical propositions beyond experience cannot be verified as truth or falsehood so that they are meaningless at all.
因为我没有证明其为真,我的信念的假保持了逻辑可能性。
Since I have not proven them to be true, the falsity of my beliefs remain a logical possibility.
逻辑实证主义认为形而上学表述的都是经验之外的命题,由于它们无法被证实真与假,所以根本就没有意义。
Logical positivism thinks that metaphysical propositions beyond experience cannot be verified as truth or falsehood, so that they are meaningless at all.
由逻辑与和其后的逻辑非组成的逻辑运算符,如果两个运算域都是真,则返回的值便为假。
A logical operator that consists of a logical and followed by a logical NOT and returns a false value only if both operands are true.
价值判断在于区分和把握善与恶、美与丑,逻辑判断在于辩明真与假、是与非。
Value judgment consists in distinguishing goodness from evil, beauty from ugliness, while logic evaluation in distinguishing truth from false, right from wrong.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
应用推荐