Devoir maison n°3 correction
Corrigé de l'exercice 1.2 ?. 1. Supposons @x, Ppxq ^ Qpxq. Soit x. Alors, pour cette valeur de x, Ppxq ^ Qpxq est vrai, donc en particulier.
Corrigé de l'exercice 1.2 ?. 1. Supposons @x, Ppxq ^ Qpxq. Soit x. Alors, pour cette valeur de x, Ppxq ^ Qpxq est vrai, donc en particulier.