Philosophie de la logique:
la négation