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)'''.''
 
Dans'''i''' lapeut règleêtre den'importe laquel preuve directenom d'existenceindividu, 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)'''. On suppose que '''x''' est une variable qui n'est pas mentionnée dans '''E(i)'''.
 
'''La règle d'élimination du quantificateur existentiel'''
4 741

modifications