verification formelle logique

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

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

Citation:

---

Envoyé par lafa73

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:

---

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

---

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

Code:

---

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:

---

1 2 3

{Mammifère} Nil {Animal} {Chien} Nil {Mammifère}

---

on te demande de prouver que:

Code:

---

1 2	{Chien} Nil {Animal}

---

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