Je suis actuellement en 1ère année de Licence Informatique et un des modules de Maths repose sur la logique.
Je suis en train de refaire les exercices de la feuille de TD et je dois avouer que je ne comprends pas trop le but de l'un des exercices.
Tout le long des exercices, je manipule et utilise non(P), non(Q),
Or, dans cet exercice, voilà ce qui est demandé :
x et y désignant deux nombres réels, résoudre les équations et systèmes d'équations suivants. On exprimera explicitement chacun des ensembles de solutions à l'aide des ensembles de solutions de a) et b).
a) (x-1)(y-2) = 0
b) (x-2)(y-3) = 0
c)
d) (x-1)(y-2)(x-2)(y-3) = 0
etc.
En quoi est-ce que ça fait intervenir tous les signes précédemment utilisés ?
Merci d'avance.
