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 e987fa9da..376d56ae4 100644 --- a/12.temporary_ins/99.maths/10.logic/textbook.fr.md +++ b/12.temporary_ins/99.maths/10.logic/textbook.fr.md @@ -341,8 +341,8 @@ sont *deux écritures différentes de la même* **incompatibilité de $`P`$ et $ [FR] Table de vérité de l'implication :
[EN] - $`\quad P\quad`$ | $`\quad Q \quad`$ | $`\quad P \Longrightarrow Q \quad`$ | -| :--------------------: | :--------------------: | :---------------------------------------------: | + $`\quad P\quad`$ | $`\quad Q \quad`$ | $`\quad P | Q \quad`$ | +| :--------------------: | :--------------------: | :-----------: | | V | V | F | | V | F | V | | F | V | V | @@ -350,8 +350,8 @@ sont *deux écritures différentes de la même* **incompatibilité de $`P`$ et $ ou -| $`\quad P\quad`$ | $`\quad Q \quad`$ | $`\quad P \Longrightarrow Q \quad`$ | -| :--------------------: | :--------------------: | :---------------------------------------------: | +| $`\quad P\quad`$ | $`\quad Q \quad`$ | $`\quad P | Q \quad`$ | +| :--------------------: | :--------------------: | :-----------: | | 1 | 1 | 0 | | 1 | 0 | 1 | | 0 | 1 | 1 | @@ -367,9 +367,8 @@ ou [FR] Théorème (Lois de Morgan) :
Pour deux assertions $`P`$ et $`Q`$, les équivalences suivantes sont vraies : -$`\mathbf{\text{NON}(\,P\;ET\;Q\,) \quad \Longleftrightarrow \quad \left(\,\text{NON}(\,P\,)\;OU\;\text{NON}(\,Q\,)\right)}`$
-$`\mathbf{\text{NON}(\,P \;OU\; Q\,) \quad \Longleftrightarrow \quad \left(\,\text{NON}(\,P\,) \;ET -\;\text{NON}(\,Q\,)\right)}`$ +$`\mathbf{\text{NON}(\,P\;ET\;Q\,) \quad \Longleftrightarrow \quad \large ( \normalsize \,\text{NON}(\,P\,)\;\;OU\;\;\text{NON}(\,Q\,)\,\large ) \normalsize}`$
+$`\mathbf{\text{NON}(\,P \;OU\; Q\,) \quad \Longleftrightarrow \quad \large ( \normalsize \,\,\text{NON}(\,P\,)\;\;ET\;\;\text{NON}(\,Q\,)\,\large ) \normalsize}`$ [EN] @@ -387,15 +386,19 @@ $`\mathbf{\neg(\,P \lor Q\,) \quad \Longleftrightarrow \quad \neg P \land \neg Q $`A= \text{NON}(\,P\;\;ET\;\;Q\,) \quad`$ , $`\quad \text{C}=\large ( \normalsize \,\text{NON}(\,P\,)\;\;OU\;\;\text{NON}(\,Q\,)\,\large ) \normalsize`$
$`B= \text{NON}(\,P\;\;OU\;\;Q\,) \quad`$ , -$`\quad \text{C}=\large ( \normalsize \,\,\text{NON}(\,P\,)\;\;ET\;\;\text{NON}(\,Q\,)\,\large ) \normalsize`$
+$`\quad \text{D}=\large ( \normalsize \,\,\text{NON}(\,P\,)\;\;ET\;\;\text{NON}(\,Q\,)\,\large ) \normalsize`$
et la table de vérité s'écrit : | $`\;P\;`$ | $`\;Q\;`$ | $`\;A\;`$ | $`\;B\;`$ + + [EN]