Mathematiques contradictoires

[jeancam]

Pour tout x de R, si x²=-1 alors
L'implication est tout à fait juste, mais on ne peut pas le comprendre avec le "Si...alors".

je n'ai pas de probleme avec si alors dans ce cas. je pense que la difference se situe au niveau metamathématique si alors est plus géneral alors que l implication.

[jeancam]

L'implication mathématique signifie ce qui n'est pas tout à fait l'implication ou le si ... alors usuel : "Mme de Fontenay est plutôt sympa implique que miss France est un boudin" est une phrase mathématiquement vraie ( pourquoi :we: ) mais n'a pas de sens commun :zen:

Imod

mme de fonteney est pas sympa implique aussi souvent que miss france est un boudin.lol

pour etre plus serieux je pense que ton implication a un sens commun. c est du genre "si ma tante en avais..." voir precedent post avec le quelque soit x...le si alors est parfaitement intelligible.

[Doraki]

haha vous trouvez plein de choses à dire sur un rêve..

Vous avez pas l'air de trop aimer la logique classique..

Il existe un entier n tel que la conjecture de Goldbach est vraie si et seulement si n est premier.

si ((A => B) => A) est vrai, alors A est vrai.

[anima]

L'implication mathématique signifie ce qui n'est pas tout à fait l'implication ou le si ... alors usuel : "Mme de Fontenay est plutôt sympa implique que miss France est un boudin" est une phrase mathématiquement vraie ( pourquoi :we: ) mais n'a pas de sens commun :zen:

Imod

Pas d'accord. La phrase est analytiquement fausse, vu qu'on peut trouver un monde possible ou "Mme de Fontenay" est sympa, mais que "Miss France" n'est pas un boudin.

La verite logique considere tous les mondes possibles; la verite "commune" (aussi appelee soundness en logique ne s'interesse qu'a notre monde possible.
Et de plus, "etre plutot sympa" est un predicat vague. Bonjour les problemes la-dessus.

[Euler911]

Pas d'accord. La phrase est analytiquement fausse, vu qu'on peut trouver un monde possible ou "Mme de Fontenay" est sympa, mais que "Miss France" n'est pas un boudin.

La verite logique considere tous les mondes possibles; la verite "commune" (aussi appelee soundness en logique ne s'interesse qu'a notre monde possible.
Et de plus, "etre plutot sympa" est un predicat vague. Bonjour les problemes la-dessus.

Je pense que le message de Imod avait un but péjoratif...

Ceci dit: c'est quoi un prédicat?

[anima]

Je pense que le message de Imod avait un but péjoratif...

Ceci dit: c'est quoi un prédicat?

Une fonction attribuant une valeur (vrai/faux, mais pas toujours) a un object. Si tu veux, c'est l'evolution logique d'une propriete.

(P.S: j'essaye de traduire les differents termes de logique tels que je les ai vu en cours. Mes cours etaient en anglais - et le sont tjrs, d'ailleurs)

[Euler911]

Ah...! Pourquoi dis-tu "pas toujours" à propos de la valeur du prédicat? Il en existe d'autres en dehors de vrai ou de faux? C'est étrange je trouve.

[anima]

Ah...! Pourquoi dis-tu "pas toujours" à propos de la valeur du prédicat? Il en existe d'autres en dehors de vrai ou de faux? C'est étrange je trouve.

As-tu deja entendu parler d'un paradoxe qui s'appelle en anglais un paradoxe de Sorites? Ca arrive tres tres souvent en logique et epistemologie, de plusieurs facons differentes.

Un petit exemple:
Soient une personne avec n cheveux sur le crane.
est chauve.
Il semble logique d'assumer que si est chauve, alors l'est aussi.
Resultat: est chauve.

3 solutions au probleme:
- Definir une limite pour chaque predicat
- Passer en fuzzy logic. Au lieu de faire du binaire vrai/faux, appliquer de la logique probabiliste. (Cause pas mal de problemes, mais en resoud pas mal aussi)
- Dire betement "Oh, la 2e cause n'est pas valide!" sans pour autant pouvoir prouver quoi que ce soit.

[Imod]

Resultat: est chauve.

D'où le chapeau de Mme de Fontenay , CQFD :we:

Sorry , c'est le week-end :zen:

Imod

PS : quand on fait de la logique on utilise un langage spécifique car la langue usuelle fourmille de pièges et d'imprécisions ( ce qui en fait son charme ) .

[anima]

D'où le chapeau de Mme de Fontenay , CQFD :we:

Sorry , c'est le week-end :zen:

Imod

PS : quand on fait de la logique on utilise un langage spécifique car la langue usuelle fourmille de pièges et d'imprécisions ( ce qui en fait son charme ) .

Non. Quand on fait de la logique, on ne fait meme pas attention aux mots. C'est pire que des maths, on peut s'exprimer uniquement qu'avec des symboles.

Il y a aussi des saloperies qui n'existent pas dans le language normal, et des trucs avec quoi tout le monde a des problemes.
Exemple:

[Euler911]

Ah oui, je vois... :look: Je méditerai ça après mes examens...

[Euler911]

Exemple:

Mais encore?

[ffpower]

As-tu deja entendu parler d'un paradoxe qui s'appelle en anglais un paradoxe de Sorites? Ca arrive tres tres souvent en logique et epistemologie, de plusieurs facons differentes.

Un petit exemple:
Soient une personne avec n cheveux sur le crane.
est chauve.
Il semble logique d'assumer que si est chauve, alors l'est aussi.
Resultat: est chauve.

3 solutions au probleme:
- Definir une limite pour chaque predicat
- Passer en fuzzy logic. Au lieu de faire du binaire vrai/faux, appliquer de la logique probabiliste. (Cause pas mal de problemes, mais en resoud pas mal aussi)
- Dire betement "Oh, la 2e cause n'est pas valide!" sans pour autant pouvoir prouver quoi que ce soit.

j ai rien compris a ce paradoxe..pk il est logique de dire que Pn chauve implique P(n+1) chauve?ya que P0 qui est chauve nan?enfin bref,pas compris :hein:

[anima]

j ai rien compris a ce paradoxe..pk il est logique de dire que Pn chauve implique P(n+1) chauve?ya que P0 qui est chauve nan?enfin bref,pas compris :hein:

Il est logique d'assumer qu'un cheveu ne fera pas toute la difference. Tu peux formuler le paradoxe avec n'importe quel systeme de predicat que tu souhaites, ca marche tres bien avec des molecules.