Update textbook.fr.md

12.temporary_ins/99.maths/10.logic/textbook.fr.md

@@ -673,6 +673,40 @@ and we write :<br>
 an we write :<br>
 *$`\mathbf{P\;\;OR\;\;Q\;\;OR\;\;R}`$*<br>
 
+
+[ES] _¿Demostración de la primera equivalencia en forma de animación o un menú desplegable?_<br>
+[FR] _Démonstration de la première équivalence sous forme d'animation, ou d'un menu déroulant?_<br>
+[EN] _Demonstration of the first equivalence in the form of an animation, or a drop-down menu?_
+
+| $`\;P\;`$ | $`\;Q\;`$ | $`\;R\;`$ | $`\quad P\;OR\;Q\quad `$ | $`\quad (P\;OR\;Q)\;OR\;R\quad `$ |
+| :---: | :---: | :---: | :---: | :---: |
+| V | V | V | V | V |
+| V | V | F | V | V |
+| V | F | V | V | V |
+| V | F | F | V | V |
+| F | V | V | V | V |
+| F | V | F | V | V |
+| F | F | V | F | V |
+| F | F | F | F | F |
+
+and
+
+| $`\;P\;`$ | $`\;Q\;`$ | $`\;R\;`$ | $`\quad Q\;OR\;R\quad `$ | $`\quad P\;OR\;(Q\;OR\;R)\quad `$ |
+| :---: | :---: | :---: | :---: | :---: |
+| V | V | V | V | V |
+| V | V | F | V | V |
+| V | F | V | V | V |
+| V | F | F | F | V |
+| F | V | V | V | V |
+| F | V | F | V | V |
+| F | F | V | V | V |
+| F | F | F | F | F |
+
+<br>
+[ES] _¿Demostración de la segunda equivalencia en forma de ejercicio de autoevaluación (menú de autodesplazamiento) en la parte "más allá"?_<br>
+[FR] _Démonstration de la deuxième équivalence sous forme d'un exercice d'autoévaluation (menu autoréroulant) dans la partie au-delà?_<br>
+[EN] _Demonstration of the second equivalence in the form of a self-assessment exercise (drop-down menu) in the beyond part?_
+
 -------------------------
 
 *[Math_Logic-190]  Distributividad / distributivité / distributivity*
@@ -680,3 +714,8 @@ an we write :<br>
 [ES] (¡ auto-transl !) Para cualquier aserción lógica $`P`$ :<br>
 [FR] Pour toute assertion logique $`P`$ :<br>
 [EN] (auto-transl !) For any logical statement $`P`$ :<br>
+
+à terminer
+
+
+