« Précis d'épistémologie/Principes logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 256 :
La loi du tiers-exclu : '''p ou non p'''
Un énoncé '''p''' dont la signification est complètement déterminée 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.
| |||