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

Aller à la navigation Aller à la recherche
'''La règle d'élimination du quantificateur existentiel'''
 
'' '''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.''
 
==Les raisonnements sans hypothèse et les lois logiques==
4 774

modifications

Menu de navigation