Différences entre les versions de « Précis d'épistémologie/Principes logiques »

''Si '''i''' est un individu, alors '''Il existe un x tel que E(x)''' est une conséquence logique de '''E(i)'''.''
 
'''i''' peut être n'importe quel nom d'individu, : une constante, une variable ou une expression composée. '''E(x)''' est l'énoncé obtenu en substituant '''x''' à certaines, pas forcément toutes les occurrences de '''i''' dans '''E(i)'''. '''x''' doit être une variable d'individu qui n'est pas mentionnée dans '''E(i)'''.
 
'''La règle d'élimination du quantificateur existentiel'''
4 741

modifications