Bonjour ,

je voulais savoir comment se faire la démonstration de théorème du conséquence logique qui dit que 

a_1,a_2,a_{3……………}a_n est une conséquence logique de b↔ a_1,a_2,a_{3……………}a _n-1 est une conséquence logique de

a _n→b

par récurrence .

et merci .

Bonjour

Excuses moi mais j'ai du mal à comprendre ta question j'ai cherché sur internet "Théorème Du Conséquence Logique " mais je n'ai rien trouvé qui semble y correspondre d'ailleurs l'énoncé me semble peu clair, pourrais tu le préciser s'il te plaît ? 

Que sont les a indice 1, 2,3 ... Idem pour b ?

Merci beaucoup