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édentesRévision précédente
math:2:logique [2020/05/10 21:19] – modification externe 127.0.0.1math: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 de Alain Guichet