« Précis d'épistémologie » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 213 :
### La règle de la preuve directe d'existence
### La règle d'élimination d'un quantificateur existentiel
## Les raisonnements sans hypothèse et les lois logiques
## La dérivation des conséquences logiques
|