[jumbo_file]

la negation de l'implication :

non(p=>q)<=>(p et non q)

ie : la negation de p=>q est *****alente a p et la negation de q