Cet exemple est le langage de la logique classique, comme nous allons l'expliquer en détail, mais maintenant un doute se pos