4 795
modifications
« Précis d'épistémologie/Principes logiques » : différence entre les versions
Précis d'épistémologie/Principes logiques (modifier)
Version du 9 juillet 2021 à 10:51
, il y a 1 an→Les règles fondamentales de déduction
Aucun résumé des modifications |
|||
|
''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''' est une variable qui n'est pas
'''La règle d'élimination du quantificateur existentiel'''
| |||