« 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)
* (4)
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)
** (5)
* (6)
== L'interdéfinissabilité des connecteurs logiques ==
|