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

'' '''C''' est une conséquence logique des deux prémissesSi '''Si E(x) alors C''' et '''Il existe un x tel que E(x)''' sont des conséquences logiques des prémisses P, alors C est une conséquence logique des mêmes prémisses, pourvu que '''x''' ne soit pas mentionné ni dans '''C''' ni dans les prémisses P.''