Cliquer le lien 05谓词逻辑.pdf pour afficher le fichier.