Est ce que quelqu'un ici s'y connait en logique formelle / langage des prédicats ?
Je vous paie contre une petite aide, j'ai du mal à comprendre mes cours