En démarrant mes révisions pour une nouvelle matière qui répond au doux nom de “spécification formelle” et qui semble à la croisée des chemins entre mathématiques, algorithmique et logique propositionnelle, je me suis arrêté sur deux phrases que je devais “spécifier”.
Deux phrases qui, une fois “spécifiées” étaient clairement différentes alors qu’en “français” je me suis aperçu que la différence n’était pas aussi facile à entrevoir.
Du coup, je les soumet à votre sagacité.
Quelle est la différence entre : “Aucune personne ne peut être à la fois un homme et une femme” et “Toute personne est soit un homme soit une femme“
2 comments
Comments feed for this article
14 avril 2007 à 5:31
Tagada
Dans la première, il n’est pas exclu qu’une personne puisse être autre chose (3e sexe) même si notre esprit écarte d’emblée cette hypothèse. Dans la seconde, au contraire, c’est soit l’un soit l’autre. Et puis la première laisse entendre qu’on ne peut pas être en même temps homme et femme, donc on peut successivement être un homme puis une femme.
17 avril 2007 à 11:50
heronauphareouest
Tout à fait.
J’ajoute que la première phrase permet de ne pas avoir de sexe du tout, ce qui n’est pas le cas de la seconde qui oblige à “choisir son camp” quitte à en changer ensuite.