Rubrique précédente: Modèles de logique applicative

Rubrique 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 la 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.