Solutions au premier examen probatoire

(c) « Je ne suis pas un Lausannois »– vraie si dite par une Lausannoise, mais faux pour le Lausannois, et vraie – et donc non-disables – pour les Genevois de tout sexe. (d) « Je

cours d’introduction à la logique, UniL, Philipp Blum à rendre le mercredi 15 mai 2019, avant 8h30..

(e) « Laura a visité tous les pays de l’Union Européenne sauf les pays méditerraniens. L’Italie est un pays de l’Union Européenne, mais n’a encore jamais été visité

Donc aucun habitant de ma grange n’est un officier... Tous les hommes adorent

cours d’introduction à la logique, printemps 2019, UniL, Philipp Blum.. (6 points) Démontrez la validité des arguments à l’aide de la méthode

(a) Nous rencontrons deux personnes, Georges-André et Florence.. Georges-André dit : « Si je suis Lausannois, alors Florence en est

Mais alors cette phrase – 3 – ne pourrait pas être dite par un Genevois (puisque les Genevois ne disent que des faussetés)2. Comme nous savons que 3 a été dit par A, alors A ne

(7 points) Formalisez les arguments suivants dans le langage de la logique des prédicats et démontrez leur validité à l’aide de la méthode des arbres :.. (a) « Il y a quelqu’un