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

'''Il existe un x tel que p(x)''' est vrai lorsqu'au moins un énoncé '''p(i)''' obtenu à partir de '''p(x)''' en substituant un nom d'individu '''i''' à toutes les occurrences de '''x''' dans '''p(x)''' est vrai, et faux sinon.
 
Pour que ces deux règles puissent être appliquées, le domaine des individus avec lesquels on forme des énoncés atomiques doit être déterminé. C'est un problème pour les théories des ensembles, parce qu'on ne peut pas déterminer le domaine de tous les ensembles.
 
== Les règles fondamentales de déduction ==
4 741

modifications