title: Non-implication
text: # Non-implication
  
  La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle bivalente.
  
  Au sein de cette logique elle exprime la négation de l'implication matérielle. Cela revient à dire que pour deux propositions P et Q, la non-implication matérielle de P à Q est vrai si et seulement si non P implique Q. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux.
  
  Il peut être écrit en utilisant la notation logique :
  
         p⊅q
         Lpq
         p↛q
  
  Et est équivalent à:
  
         p∧~q
  
  ## Définition
  
  ### Table de vérité
  
  | p | q | $~\nrightarrow$ |
  | - | - | - |
  | T | T | F |
  | T | F | T |
  | F | T | F |
  | F | F | F |
  
  ## Symbole
  
  Le symbole pour la non-implication est un symbole d'implication logique barré. Son symbole Unicode est 8603 (décimal).
  
  ## Langage naturel
  
  ### Rhétorique
  
  "p mais pas q."
  
  ## Algèbre de Boole
  
  (A'+B)'
  
  ## Informatique
  
  Opération Bitwise: A&(~B)
  
  Opération logique: A&&(!B)
  
  