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

Contenu supprimé Contenu ajouté
Ligne 233 :
 
Toutes les règles de déduction, fondamentales ou dérivées, peuvent être traduites en lois logiques, parce que si C est une conséquence logique des prémisses P alors '''Si la conjonction des P alors C''' est une loi logique. Par exemple, '''Si (A et si A alors B,) alors B''' est une loi logique qui traduit la règle de détachement.
 
==La dérivation des conséquences logiques==