Logique (négation)

[tulipe96]

Bonjour !
Corrigez-moi cet exercice svp, et merci d'avance !
La proposition : (A et B) ==> (non C), écrire sa négation.
Sa négation : non ( (A et B) ==> (non C) )
= non ( non(A et B) ou (nonC) )
= non(non(A et B)) et non(nonC)
= (A et B) et (C)
=A et B et C
est-ce correct ?
-----

[karlp]

Bonjour

Je trouve la même chose mais par un chemin plus court: non (P --->Q) est équivalent à (P et non Q)
En passant par là, la réponse est immédiate.

[tulipe96]

Merci pour votre réponse, vous avez raison, cette méthode nous mène directement au résultat