logique non monotone Synonym