lazi.0.2
Définition
lazi.0.2 désigne lazi.0.1 plus la septième règle stipulant que les preuves lazi.1.0 sans conditions déduise des vérités pour lazi.0.1.
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