Cliquer le lien https://www-labs.iro.umontreal.ca/~monnier/1215/notes-logic.pdf pour ouvrir la ressource.