« Précis d'épistémologie/Principes logiques » : différence entre les versions

Aller à la navigation Aller à la recherche
Balise : Révoqué
''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'''
'' '''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==
4 789

modifications

Menu de navigation