En classe cette semaine, nous avons découvert les LFC et leurs propriétés de fermeture. J'ai vu des preuves d'union, d'intersection et de compliment, mais pour le renversement, mon conférencier vient de dire que c'était fermé. Je voulais voir la preuve, donc je cherchais depuis quelques jours, mais tout ce que j'ai trouvé, c'est que la plupart des gens disent simplement que renverser les productions suffit pour le prouver. Ceux qui vont un peu plus formellement déclarent simplement qu'il existe une preuve inductive facile que vous pouvez donner. Quelqu'un peut-il me fournir plus d'informations / conseils sur la preuve inductive? Essayez comme je pourrais, je ne peux pas le trouver.