From 264208116afef2e318b52e58d3851714f597d3ab Mon Sep 17 00:00:00 2001 From: Claude Meny Date: Thu, 22 Apr 2021 15:06:58 +0200 Subject: [PATCH] Update 12.temporary_ins/99.maths/10.logic/textbook.fr.md --- .../99.maths/10.logic/textbook.fr.md | 60 +++++++------------ 1 file changed, 21 insertions(+), 39 deletions(-) diff --git a/12.temporary_ins/99.maths/10.logic/textbook.fr.md b/12.temporary_ins/99.maths/10.logic/textbook.fr.md index a685578bf..8a28bc195 100644 --- a/12.temporary_ins/99.maths/10.logic/textbook.fr.md +++ b/12.temporary_ins/99.maths/10.logic/textbook.fr.md @@ -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?*