Logique Implication Négation de l'implication

précédent

suivant détail détail

 

Comment écrire la négation d'une proposition "P implique Q" ?

Pour écrire la négation de la proposition "P implique Q", on affirme la conjonction de l'hypothèse et de la négation de la conclusion de la proposition initiale "P et (non Q)".

Attention, les débutants se trompent facilement car le connecteur "implique" n'apparaît pas dans la négation de la proposition.