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 »

Publicités