Pour tout te dire, ici je parlais même pas de la validité logique du raisonnement, je parlais du :
1) Posage des hypothèse en langage naturel, non ambigu, je me suis bien mis d'accord dessus avec mon interlocuteur avant histoire d'être sur qu'on parle bien de la même chose
2) tu fais un raisonnement, toujours en langage naturel, en utilisant des règles logiques que tu n'explicite pas
3) tu tires ta conclusion
Et après : blaamm tu peux rien dire, j'ai fais de la logique du premier ordre. C'est irréfutable.
Révises tes cours, la logique du premier ordre c'est légèrement plus formel, et pas si élémentaire que tu veux bien le faire croire.
Bon après je peux tout aussi bien attaquer ton raisonnement en soit pour rendre mon discours un peu plus concrêt, et te dire qu'a mon avis tu n'as rien démontré du tout, ce que tu pourras difficilement contester, sauf avec de la logique "café du commerce."
Ton raisonnement n'a aucune pertinence, tu montres rien du tout, tu prends des définitions comme ça t'arrange.
Soit U l'ensemble des documents représentables par OOXML. Soit Uo95, sous ensemble de U, l'ensemble des documents générables par Uo95. Nommons "balise de compatibilité" l'ensemble des balises qui permettent de décrire Uo95 et qui ne sont pas présentes dans l'ensemble des balises nécessaire pour décrire {U-Uo95}
Maintenant intéressons nous aux générateurs de documents. Nous avons un ensemble qui contient, entre autre, o95. Séparons cet ensemble en deux, d'un coté les "générateurs qui, en partant d'un document vierge, vont utiliser des balises de compatibilité", et d'un autre coté, les autres. Dans ce cas de figure, le premier ensemble va générer des documents de type {Uo95}, et de l'autre {U-Uo95}. Donc les balises dites "de compatibilité" ne sont nécessaire que pour ouvrir des documents générés par des "vieux" générateurs, ce qui semble être une bonne définition de "compatibilité".
Maintenant intéressons nous à "Soit il le peut SEULEMENT avec la balise machin, et dans ce cas la balise machin est OBLIGATOIRE. Ainsi ta balise de 'compatibilité' est non seulement obligatoire (et plus spécifique), mais en plus elle ne correspond pas a de la compatibilité mais a du formatage.)"
Déja définis moi le formatage, et explique moi en quoi elle est obligatoire pour représenter un document de {U-Uo95}, donc généré par un générateur "nouveau". Je serai curieux de te voir raisonner sans contester mes définitions. Tu y arriveras sans doute, on fait pas de la logique "café du commerce" pour rien ici.
[^] # Re: quelques explications s'il vous plait
Posté par thoasm . En réponse à la dépêche Et la guerre des formats bureautique continue. Évalué à 2.
1) Posage des hypothèse en langage naturel, non ambigu, je me suis bien mis d'accord dessus avec mon interlocuteur avant histoire d'être sur qu'on parle bien de la même chose
2) tu fais un raisonnement, toujours en langage naturel, en utilisant des règles logiques que tu n'explicite pas
3) tu tires ta conclusion
Et après : blaamm tu peux rien dire, j'ai fais de la logique du premier ordre. C'est irréfutable.
Révises tes cours, la logique du premier ordre c'est légèrement plus formel, et pas si élémentaire que tu veux bien le faire croire.
http://fr.wikipedia.org/wiki/Logique_math%C3%A9matique#Syst.(...)
Bon après je peux tout aussi bien attaquer ton raisonnement en soit pour rendre mon discours un peu plus concrêt, et te dire qu'a mon avis tu n'as rien démontré du tout, ce que tu pourras difficilement contester, sauf avec de la logique "café du commerce."
Ton raisonnement n'a aucune pertinence, tu montres rien du tout, tu prends des définitions comme ça t'arrange.
Soit U l'ensemble des documents représentables par OOXML. Soit Uo95, sous ensemble de U, l'ensemble des documents générables par Uo95. Nommons "balise de compatibilité" l'ensemble des balises qui permettent de décrire Uo95 et qui ne sont pas présentes dans l'ensemble des balises nécessaire pour décrire {U-Uo95}
Maintenant intéressons nous aux générateurs de documents. Nous avons un ensemble qui contient, entre autre, o95. Séparons cet ensemble en deux, d'un coté les "générateurs qui, en partant d'un document vierge, vont utiliser des balises de compatibilité", et d'un autre coté, les autres. Dans ce cas de figure, le premier ensemble va générer des documents de type {Uo95}, et de l'autre {U-Uo95}. Donc les balises dites "de compatibilité" ne sont nécessaire que pour ouvrir des documents générés par des "vieux" générateurs, ce qui semble être une bonne définition de "compatibilité".
Maintenant intéressons nous à "Soit il le peut SEULEMENT avec la balise machin, et dans ce cas la balise machin est OBLIGATOIRE. Ainsi ta balise de 'compatibilité' est non seulement obligatoire (et plus spécifique), mais en plus elle ne correspond pas a de la compatibilité mais a du formatage.)"
Déja définis moi le formatage, et explique moi en quoi elle est obligatoire pour représenter un document de {U-Uo95}, donc généré par un générateur "nouveau". Je serai curieux de te voir raisonner sans contester mes définitions. Tu y arriveras sans doute, on fait pas de la logique "café du commerce" pour rien ici.