Telecharger Cours

4.2. Tableau de vérité. Nous présentons ces définitions en forme de ...

Effectivement P ? Q (un des deux lois de la distributivité). Montrons ¬(p?q) ? ((¬p)?(¬q)) (Loi de De Morgan). Soit P = ¬(p?q) et Q = ((¬p)?(¬q)).



Download