Discussion :

[lafa73]

svp est ce qu il ya quelqu qui peut m aider
montrer que l'enonce est valide :
tout mamifere est un animal
tout chien est un mamifére
donc tout chien est un animal
utiliser les régles de hoare

[TropMDR]

Bonjour

Si vous n'êtes pas capable de résoudre cet exercice, je vous conseille d'abandonner tout de suite votre cours. Et sans doute aussi l'informatique. Vous manquez de toutes évidences de la volonté ou des capacités pour continuer dans cette voie.

Cordialement

[gorgonite]

tout mamifere est un animal
tout chien est un mamifére
donc tout chien est un animal

utiliser les régles de hoare

tout d'abord connais-tu un peu la logique de Hoare ?

petit rappel du principe (je prends les libertés avec les notations, mais tu devras utiliser celles de ton prof)

il y a des triplets de Hoare

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
{Pre-Conditions} Action {Post-Conditions}

et quelques règles de "simplification", comme par exemple la conséquence

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
{P'} Nil {P} ; {P} S {Q} ; {Q} Nil {Q'}
---------------------------------------
{P'} S {Q'}

ici tu pourrais écrire les règles suivantes :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
{Mammifère} Nil {Animal}
{Chien} Nil {Mammifère}

on te demande de prouver que:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
{Chien} Nil {Animal}

Vois-tu un peu mieux ce qu'il faut faire ?