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

Contenu supprimé Contenu ajouté
Ligne 231 :
(1) Hypothèses : '''Si A alors B''', '''Si B alors C'''
* (2) Hypothèse : '''A'''
* (3) Conséquence : '''B''' d'après (1), (2) et la règle de détachement.
* (4) Conséquence : '''C''' d'après (1), (3) et la règle de détachement.
Conséquence : '''Si A alors C''' d'après (4) et la règle d'incorporation d'une hypothèse.
 
Autre exemple, la règle de contraposition : '''si non q alors non p''' est une conséquence logique de '''si p alors q'''.
Ligne 240 :
* (2) Hypothèse : '''non q'''
** (3) Hypothèse : '''p'''
** (4) Conséquence : '''q''' d'après (1), (3) et la règle de détachement.
** (5) Conséquence : '''non q''' d'après (2) et la règle de répétition.
* (6) Conséquence : '''non p''' d'après (3),(4),(5) et le principe du raisonnement par l'absurde.
Conséquence : '''si non q alors non p''' d'après (6) et la règle d'incorporation d'une hypothèse.
 
== L'interdéfinissabilité des connecteurs logiques ==