|
|
|
@ -279,65 +279,47 @@ https://en.wikipedia.org/wiki/ISO_31-11 |
|
|
|
|
|
|
|
*[Math-Logic-10] Aserción / Assertion / ...* |
|
|
|
|
|
|
|
[ES] |
|
|
|
[ES] (¡auto-trad.!) |
|
|
|
La lógica matemática usa **aserciones** que pueden ser *verdaderas o falsas*. |
|
|
|
|
|
|
|
[FR] |
|
|
|
La logique mathématique utilise des **assertions** qui peuvent être *vraies ou fausses*. |
|
|
|
**aserción** = *afirmación, frase, oración, proposición*. |
|
|
|
|
|
|
|
[EN] |
|
|
|
_assertion is a genaral term, and statement = assertion that may be true or false ?_ |
|
|
|
La lógica matemática representa las **aserciones** mediante *letras mayúsculas*. |
|
|
|
|
|
|
|
[ES] (¡ auto-transl !) |
|
|
|
**aserción** = *afirmación, frase, oración, proposición*. |
|
|
|
[FR] |
|
|
|
La logique mathématique utilise des **assertions** qui peuvent être *vraies ou fausses*. |
|
|
|
|
|
|
|
[FR] |
|
|
|
**assertion** = *phrase, énoncé, proposition*. |
|
|
|
|
|
|
|
[EN] |
|
|
|
.... |
|
|
|
En logique mathématiques, les **assertions** sont représentées par des *lettres majuscules*. |
|
|
|
|
|
|
|
[ES] (¡ auto-transl !) |
|
|
|
La lógica matemática representa las **aserciones** mediante *letras mayúsculas*. |
|
|
|
[EN] (auto-trad.!) |
|
|
|
_assertion is a genaral term, and statement = assertion that may be true or false ?_ |
|
|
|
|
|
|
|
[FR] |
|
|
|
En logique mathématiques, les **assertions** sont représentées par des *lettres majuscules*. |
|
|
|
|
|
|
|
*[Math-Logic-11] : valor de verdad / valeur de vérité / ?* |
|
|
|
|
|
|
|
[EN] |
|
|
|
... |
|
|
|
[ES] (¡auto-trad.!) |
|
|
|
Una aserción $`P`$ puede tomar 2 posibles valores de verdad: verdadero o falso. |
|
|
|
|
|
|
|
**valor de verdad** / **valeur de vérité** / ... |
|
|
|
El valor de verdad de una proposición $`P`$ se escribe $`v(P)`$. |
|
|
|
|
|
|
|
[ES] |
|
|
|
... |
|
|
|
Notaciones : |
|
|
|
* el valor **verdadero** está representado por la letra *V* o el número *1*. |
|
|
|
* el valor **falso** está representado por la letra *F* o el número *0*. |
|
|
|
|
|
|
|
[FR] |
|
|
|
Une proposition $`P`$ peut prendre 2 valeurs de vérité possibles : vrai, ou faux. |
|
|
|
Une proposition $`P`$ peut prendre 2 valeurs de vérité possibles : vrai, ou faux. |
|
|
|
|
|
|
|
[EN] |
|
|
|
... |
|
|
|
|
|
|
|
[ES] |
|
|
|
... |
|
|
|
|
|
|
|
[FR] |
|
|
|
La valeur de vérité d'une proposition $`P`$ s'écrit $`v(P)`$. |
|
|
|
|
|
|
|
[EN] |
|
|
|
... |
|
|
|
|
|
|
|
[ES] (¡ auto-transl !) |
|
|
|
Notaciones : |
|
|
|
* el valor **verdadero** está representado por la letra *V* o el número *1*. |
|
|
|
* el valor **falso** está representado por la letra *F* o el número *0*. |
|
|
|
|
|
|
|
[FR] |
|
|
|
Notations : |
|
|
|
* la valeur **vrai** se représente par la lettre *V* ou le nombre *1*. |
|
|
|
* la valeur **faux** se représente par la lettre *F* ou le nombre *0*. |
|
|
|
|
|
|
|
[EN] |
|
|
|
... |
|
|
|
|
|
|
|
[EN] (auto-trad.!) |
|
|
|
... |
|
|
|
|
|
|
|
----------------------- |
|
|
|
|
|
|
|
*[Math-logic-15] Proposiciones indecidibles? Propositions indécidables?* |
|
|
|
|
