« Précis d'épistémologie/Principes logiques » : différence entre les versions

* (5) '''non non p''' d'après (2), (3), (4) et le principe du raisonnement par l'absurde.
* (6) '''p''' d'après (5) et la règle de suppression de la double négation.
'''Sisi (si non p alors p) alors p''' d'après (1), (6) et la règle d'incorporation d'une hypothèse.
 
4 796

modifications