On a les deux axiomes suivants:

  A ⊑ B
  A ⊑ C

On peut les réécrire de la manière suivante:

  ⊤ ⊑ ¬A ⊔ B
  ⊤ ⊑ ¬A ⊔ C

Supposons une entité b. On a:

  (¬A ⊔ B)(b)
  (¬A ⊔ C)(b)

Si b est une instance de A, pour que le premier fait soit vrai, on doit avoir B(b). Idem pour le deuxième, qui implique C(b). Donc, Si on a A(b), on doit absolument avoir B(b) et C(b), c'est-à-dire:

  A ⊑ (B ⊓ C)
Modifié le: dimanche 14 novembre 2021, 16:58