« 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
### La règle de transitivité des conséquences logiques
## Les raisonnements sans hypothèse et les lois logiques
## La dérivation des conséquences logiques