décomposition d'une formule
Soit x une formule, la décomposition de f est la liste de formule(s) :
- si x est une application y z: la décomposition de y suivit de z
- sinon: la liste constituée du seul élément x
Lazi
- Accueil
- Contact
- Lexique
- argument minimal ou maximal d'une formule
- arguments d'une formule
- Calcul ▶
- chemin mathématique (absolu ou relatif)
- chemin mathématique de calcul
- conditionnel
- ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]
- décomposition d'une formule
- extensible
- fonction constante par calcul
- fonction minimale ou maximale d'une formule
- fonction non constante par calcul
- fonctions d'une formule
- Lazi ▶
- Lazi ▶lazi.0.1
- logique de niveau 0
- logique de niveau 1
- mathématique (lazi,pré-,minimale)
- mathématique extension de M
- n-formules
- notation étoile égalité
- preuve normalisée
- profondeur d'une formule
- SFP ▶
- sous-formule (stricte)
- type étendu par union
- utilisé dans le calcul
- Organisation
- Présentation
- Recherche
- Réalisations
- Suivi des tâches