|
1. | true proposition |
| 真命题 |
|
|
| |
2. | (logic) of a proposition; necessarily true independent of fact or experience, as all spinsters are unmarried |
| (逻辑学)指一个命题;不依靠事实或者经验而必然真实的,例如“所有的未婚妇女都是没有结婚的”。 |
|
|
| |
3. | logically true proposition |
| 逻辑地真命题 |
|
|
| |
4. | relation that holds Between two propositions when they are linked as antecedent and consequent of a true |
| 在逻辑中,指两个命题被归为真实条件命题的前因与后果时二者之间的关系。 |
|
|
| |
5. | (logic) of a proposition; necessarily true or logically certain. |
| (逻辑学)一个命题;必然真实的,可明确论证的。 |
|
|
| |
6. | In classical two-valued logic, there are only two states, namely "true" and "false", any proposition |
| 经典的二值逻辑只有两个状态,即“真”和“假”,任何命题“非真即假”,二者必居其一,即排中律成立。 |
|
|
| |