« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
→La vérité des énoncés composés : précision |
|||
Ligne 92 :
'''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 ==
| |||