Deuxième examen probatoire

cours d’introduction à la logique, printemps 2019, UniL, Philipp

(a) Quelle assertion pourrait être faite par une femme Lausannoise ou un homme Genevois, mais ne peut pas être faite par un homme Lausannois ou une femme Genevoise. (b) Quelle

(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

(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

(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