Une nouvelle méthode de démonstration.

Salut,

Un théorème à démontrer peut se mettre sous la forme :

-pour tout x A1(x) ou A2(x) ou A3(x) ou A4(x) ou A5(x) ou ... ou An(x).

ce résultat est souvent dure à établir, mais on peut essayer d'établir des résultats du type :

-pour tout x Ai(x) ou non(Aj(x)) ou Ak(x) ou ..., plus facile à démontrer.

Quand on en dispose de suffisamment, alors il devient facile de vérifier que le théorème de départ est vrai, on peut le faire à l'aide d'algorithme force brut (2^m possibilités) avec Am(x) (m>=n) le nombre de proposition utiliser.

Si quelqu'un à des références sur ce résultat (comme étant un résultat connue) je suis trés intéressé, mais à ma connaissance ce résultat n'est pas connue, et est très puissant.

Bonne journée.

Ha ces Marseillais !

Ca ne s'arrange pas !