lazi.0.1
Définition
Lazi.0.1 désigne lazi.0.0 plus les diverses notations utilisées pour définir lazi.1.
Exemples de ces notations :
- les noms définis
- les fonctions ($F ... → )
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 ▶
- logique de niveau 0
- logique de niveau 1
- mathématique extension de M
- mathématique (lazi,pré-,minimale)
- 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
- Réalisations
- Recherche
- Suivi des tâches