Outils pour utilisateurs

Outils du site


math:2:logique

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
math:2:logique [2020/05/10 21:19]
127.0.0.1 modification externe
math:2:logique [2020/05/10 22:13] (Version actuelle)
Alain Guichet
Ligne 68: Ligne 68:
 <box 100% red round center | **Théorème : Lois de Morgan et distributivité**>​ <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>​ </​box>​
math/2/logique.txt · Dernière modification: 2020/05/10 22:13 par Alain Guichet