Différences

Ci-dessous, les différences entre deux révisions de la page.

--- math:2:logique [2014/08/31 18:21] – [Logique] Alain Guichet
+++ math:2:logique [2020/05/10 22:13] (Version actuelle) – Alain Guichet
@@ Ligne 1: / Ligne 1: @@
-^ [[:math:2:index|Ensembles > ]] | [[:math:2:logique|Logique]] | [[:math:2:ensemble|Voc Ens]] | [[:math:2:tribu|Tribu]] | [[:math:2:nzq|N, Z, Q]] | [[:math:2:r|R]] | [[:math:2:c|C, Trigo]] | [[:math:2:kx|Polynômes]] | [[:math:2:mnpk|Matrices]] | [[:math:2:mnk|Matrices carrées]] | [[:math:2:systemes|Systèmes]] |
+^ [[:math:2:index#ensembles|Ensembles > ]] | [[:math:2:logique|Logique]] | [[:math:2:ensemble|Voc Ens]] | [[:math:2:tribu|Tribu]] | [[:math:2:nzq|N, Z, Q]] | [[:math:2:r|R]] | [[:math:2:c|C, Trigo]] | [[:math:2:kx|Polynômes]] | [[:math:2:mnpk|Matrices]] | [[:math:2:mnk|Matrices carrées]] | [[:math:2:systemes|Systèmes]] |
@@ Ligne 68: / Ligne 68: @@
 <box 100% red round center | **Théorème : Lois de Morgan et distributivité**>
-Soit P, Q et R trois propositions. On a :\\ $$\text{non}\,(P\,\text{ou}\, Q)=(\text{non}\, P)\,\text{et}\,(\text{non}\, Q)$$$$\text{non}\,(P\,\text{et}\, Q)=(\text{non}\, P)\,\text{ou}\,(\text{non}\, Q)$$$$ (P\,\text{ou}\, Q)\,\text{et}\, R=(P\,\text{et}\, R)\,\text{ou}\,(Q\,\text{et}\, R)$$$$(P\,\text{et}\, Q)\,\text{ou}\, R=(P\,\text{ou}\, R)\,\text{et}\,(Q\,\text{ou}\, R)$$
+Soit P, Q et R trois propositions. On a :\\
+$$\text{non}\,(P\,\text{ou}\, Q)=(\text{non}\, P)\,\text{et}\,(\text{non}\, Q)$$
+$$\text{non}\,(P\,\text{et}\, Q)=(\text{non}\, P)\,\text{ou}\,(\text{non}\, Q)$$
+$$ (P\,\text{ou}\, Q)\,\text{et}\, R=(P\,\text{et}\, R)\,\text{ou}\,(Q\,\text{et}\, R)$$
+$$(P\,\text{et}\, Q)\,\text{ou}\, R=(P\,\text{ou}\, R)\,\text{et}\,(Q\,\text{ou}\, R)$$
 </box>
@@ Ligne 95: / Ligne 103: @@
-^ [[:math:2:index|Ensembles > ]] | [[:math:2:logique|Logique]] | [[:math:2:ensemble|Voc Ens]] | [[:math:2:tribu|Tribu]] | [[:math:2:nzq|N, Z, Q]] | [[:math:2:r|R]] | [[:math:2:c|C, Trigo]] | [[:math:2:kx|Polynômes]] | [[:math:2:mnpk|Matrices]] | [[:math:2:mnk|Matrices carrées]] | [[:math:2:systemes|Systèmes]] |
+^ [[:math:2:index#ensembles|Ensembles > ]] | [[:math:2:logique|Logique]] | [[:math:2:ensemble|Voc Ens]] | [[:math:2:tribu|Tribu]] | [[:math:2:nzq|N, Z, Q]] | [[:math:2:r|R]] | [[:math:2:c|C, Trigo]] | [[:math:2:kx|Polynômes]] | [[:math:2:mnpk|Matrices]] | [[:math:2:mnk|Matrices carrées]] | [[:math:2:systemes|Systèmes]] |