Différences entre les versions de « Précis d'épistémologie/Principes logiques »

Aller à la navigation Aller à la recherche
* (3) '''B''' d'après (1), (2) et la règle de détachement.
* (4) '''C''' d'après (1), (3) et la règle de détachement.
'''Si A alors C''' d'après (2), (4) et la règle d'incorporation d'une hypothèse.
 
Autre exemple, la règle de contraposition : '''siSi non q alors non p''' est une conséquence logique de '''siSi p alors q'''.
 
(1) Hypothèse : '''siSi p alors q'''
* (2) Hypothèse : '''non q'''
** (3) Hypothèse : '''p'''
** (4) '''q''' d'après (1), (3) et la règle de détachement.
** (5) '''non q''' d'après (2) et la règle de répétition.
* (6) '''non p''' d'après (3), (4), (5) et le principe du raisonnement par l'absurde.
'''siSi non q alors non p''' d'après (2), (6) et la règle d'incorporation d'une hypothèse.
 
== L'interdéfinissabilité des connecteurs logiques ==
4 773

modifications

Menu de navigation