« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 237 :
'''p''' est nécessairement vrai ou faux. Il n'y a pas de troisième possibilité.
Pour présenter une preuve, il faut toujours préciser les hypothèses dont dépend une conséquence. La règle du décalage vers la droite permet de présenter commodément des preuves formelles : quand on introduit une nouvelle hypothèse on la décale vers la droite. Une conséquence ne dépend que des hypothèse qui la précèdent au dessus d'elle ou sur sa gauche mais pas des hypothèses sur sa droite.
Supposons que la loi du tiers exclu puisse être fausse :
| |||