Bonjour,
Démonstration de lemmes ?
Lemme 1 : F insatisfiable => F;) insatisfiable
Prouver ce lemme par contraposée en supposant l'existence d'une interprétation i qui satisfasse F;).
[etc...]
Ce ne serait pas ceci ton devoir de logique ?
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :