Salut,
Aprés plusieurs décénnies de recherches, je suis fier, que Dieu m'ait choisi, pour découvrir le raisonnement le plus éfficace n'ayant jamais existé, il n'est pas battie sur des régles (ces régles sont à découvrir) mais sur une définition (des régles que l'on peut utiliser) :
A est exacte conjecturalement (EC) si avec 10 exemples et pas de contre-exemples connues.
Qu'Allah nous guide sur le droit chemin : amin.
C'est trivial ou farfelu ...
Dire "exact" implique un référentiel logique au moins binaire (vrai, faux), le nombre d'exemples tant qu'il est fini, importe peu, quant à recenser les contre-exemples potentiels, bon courage ...
C'est de l'ordre de l'intuition mais aussi de la généralisation de l'induction abusive qui est un raisonnement faux dans la grande majorité des cas, vu que l'on part de 10 exemples pour généraliser ...
On peut illustrer cette erreur de raisonnement en substituant l'approche extensive ensembliste (citant les 10 exemples) par l'approche intensive et fonctionnelle, en passant par les fonctions caractéristiques : il suffit de considérer l'intersection des dix sous ensembles sur lesquels les 10 exemples sont vrais et choisir un élément du complémentaire (contre exemple) ...
Bref, une définition n'est ni une affirmation, ni une assertion mais simplement une proposition qui peut-être vraie ou fausse ...
Qu'Allah nous guide sur le chemin de la Vérité ...
