Corrigés des exercices

... P ne peut pas être fausse et par consé- quent, P est vraie. Autrement dit, si non(P)=?Q et non(P)=?non(Q), alors on a la proposition P. Exemple 1.4 0 n'a ...