« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Balise : Révoqué |
Annulation des modifications 659014 de Thierry Dugnolle (discussion) Balise : Annulation |
||
Ligne 163 :
''Si '''i''' est un individu, alors '''Il existe un x tel que E(x)''' est une conséquence logique de '''E(i)'''.''
Dans la règle de la preuve directe d'existence, '''E(x)''' est l'énoncé obtenu en substituant '''x''' à certaines, pas forcément toutes les occurrences de '''i''' dans '''E(i)'''. On suppose que '''x''' n'est pas mentionné dans '''E(i)'''.
'''La règle d'élimination du quantificateur existentiel'''
Ligne 169 :
'' '''C''' est une conséquence logique des deux prémisses '''Si E(i) alors C''' et '''Il existe un x tel que E(x)''', pourvu que l'individu '''i''' ne soit pas mentionné dans '''C'''.''
Dans la règle d'élimination du quantificateur existentiel, '''E(x)''' est l'énoncé obtenu en substituant '''x''' à toutes les occurrences de '''i''' dans '''E(i)'''. On suppose que '''x''' n'est pas mentionné dans '''E(i)'''.
==Les raisonnements sans hypothèse et les lois logiques==
| |||