Rubrique précédente: Modèles de logique applicativeRubrique suivante: Rechercher un modèle de logique applicative


Présentation des modèles de logique applicative

Les modèles de logique applicative vous permettent de réutiliser une logique applicative lors de la définition de formules de logique applicative. Vous pouvez utiliser un modèle de logique applicative structurel que vous pouvez dupliquer et réutiliser dans une logique applicative. Vous ne pouvez pas supprimer le modèle de logique applicative structurel.