| ||
De : Fladnag Page web : http://www.cercledefaeries.com Date : Vendredi 21 juin 2002 à 23:31:45 | ||
Heu... je suis d'accord d'abstraire certaines choses, mais il me semble là que ... c'est un peu trop. Je prends ton message au 2eme degré, car si tu espere vraiment convaincre avec un raisonnement logique, je trouve que... c pas un bon moyen. Tout d'abord la logique des propositions ne represente pas le monde réel. Le probleme traité parle notemment de spam, qui contient une notions de quantités... et donc logiques des prédicats et non des propositions (avec des quantificateurs) Un exemple de situation impossible a traduire en logique des propositions : J'ai dix francs (A). Si je vais chez le marchand de journaux, je peux acheter un livre (B) ou des sucreries(C). Ce qui se traduit par : A=>B ou C Mais l'equation est vrai si A, B ET C sont vrai... ce qui voudrait dire que avec 10 frs on pourrais avoir le livre et les sucreries... Bref... il me semble que tout ceci n'est qu'une tentative pour avoir raison... une tentative... capillo-tractée Fladnag, qui n'aime pas les maths de tt facon... Ce message a été lu 9926 fois | ||
Réponses à ce message : | ||||||||||||||||||||||||||||||