Bonjour,
Je cherche à démontrer une formule logique assez instinctive qui est la suivante :
On admet : C -> (A \/ B)
Démontrons alors : (C -> A) \/ (C -> B)
Je dois utiliser pour cela les formules de déduction naturelle.
Ca fait maintenant un bout de temps que je m'y casse les dents, c'est pour cela que je sollicite votre aide et votre talent.
Merci d'avance.
-----