Corrigé de l'examen partiel du 19 novembre 2011 - Mathieu Mansuy
IAB(p) = IB(p) si p n'est pas une variable de A (en particulier pour les ... La formule s'évalue toutjours `a vrai (1), donc elle est satisfiable et valide.
IAB(p) = IB(p) si p n'est pas une variable de A (en particulier pour les ... La formule s'évalue toutjours `a vrai (1), donc elle est satisfiable et valide.