Université Paris 7 - LG212-b - 00/01 Corrigé examen fina1 1 ...
Corrigé examen fina1. 1. ... duisant ce raisonnement en logique des prédicats (cf.
corrigé de la question 3), on vérifie aisément que la ... le prince énonce la
proposition : 1a porte& e& roite m(' ne a x appartement e 1a prin¨¢ e © © e. © i et
© e ...