Écrire une réponse @ Prise2Tete

titoufred · Résumé de la discussion

Je rappelle que [latex]A \Rightarrow B[/latex] est équivalent à [latex]\lnot{A} \lor B[/latex].

Ainsi, [latex](P \land Q) \Rightarrow R \equiv \lnot(P \land Q) \lor R \equiv \lnot P \lor \lnot Q \lor R[/latex]

Et [latex](P \Rightarrow R) \lor (Q \Rightarrow R) \equiv (\lnot P \lor R) \lor (\lnot Q \lor R) \equiv \lnot P \lor \lnot Q \lor R[/latex]

Par conséquent, [latex](P \land Q) \Rightarrow R[/latex] est équivalent à [latex](P \Rightarrow R) \lor (Q \Rightarrow R)[/latex].

En prenant pour [latex]P[/latex] : "x > 0", [latex]Q[/latex] : "x < 2" et [latex]R[/latex] : "x² < 4" où x est un nombre réel,

Alors [latex](P \land Q) \Rightarrow R[/latex] est vraie.

donc [latex](P \Rightarrow R) \lor (Q \Rightarrow R)[/latex] est vraie.

Ainsi, (x > 0 [latex]\Rightarrow[/latex] x² < 4) ou (x < 2 [latex]\Rightarrow[/latex] x² < 4) est vraie.

Mais, l'on sait bien qu'aucune de ces 2 propositions n'est vraie...

Forum dédié aux énigmes et à toutes formes de jeux de logique.	Déconnexion
Tu n'es pas identifié sur Prise2tete : s'identifier. Accueil Forum	[+]

	Forum » Enigmes Logiques » Faille logique Écrire une réponse Attention : Aucun indice ou demande d'aide concernant les énigmes de Prise2Tete n'est accepté sur le forum ! Rends-toi sur le cercle des sages si tu as besoin d'aide ! Tout nouveau message ou sujet ne respectant pas cette règle sera supprimé, merci. Rédige ton message Nom Courriel \| \| \| \| Upload \| Aide Message [quote=Clydevil]Ha subtil! C'est plus cool avec la "fausse" démo! En fait ça vient du fait que dans la démonstration on oublie que les prédicats sont paramétrés. On devrait écrire: [i]Pour tout x, (P(x) et Q(x)) => R(x).[/i] Et l’équivalence nous amène à [i]Pour tout x, P(x) => R(x) ou Q(x) => R(x) [/i] ce qui est [b]différent [/b]de [i](Pour tout x, P(x) => R(x)) ou (Pour tout x, Q(x) => R(x))[/i] Écrire P=>R ou Q=>R est dans ce cas la ambigüe parce qu’on n'est pas sur de savoir ou se place les quantificateurs. L'instinct/la convention va toujours vouloir que chaque opérateur"=>" ait son, ses quantificateurs dédiés, et dans ce cadre la, la démonstration est fausse.[/quote] Options Ne pas convertir les émoticônes sur ce message Sécurité Répondez (numériquement) à la petite énigme suivante : Si il y a 78 pommes et que vous en prenez 43, combien en avez-vous ? Retour Résumé de la discussion titoufred 01-08-2013 02:58:13 Je rappelle que [latex]A \Rightarrow B[/latex] est équivalent à [latex]\lnot{A} \lor B[/latex]. Ainsi, [latex](P \land Q) \Rightarrow R \equiv \lnot(P \land Q) \lor R \equiv \lnot P \lor \lnot Q \lor R[/latex] Et [latex](P \Rightarrow R) \lor (Q \Rightarrow R) \equiv (\lnot P \lor R) \lor (\lnot Q \lor R) \equiv \lnot P \lor \lnot Q \lor R[/latex] Par conséquent, [latex](P \land Q) \Rightarrow R[/latex] est équivalent à [latex](P \Rightarrow R) \lor (Q \Rightarrow R)[/latex]. En prenant pour [latex]P[/latex] : "x > 0", [latex]Q[/latex] : "x < 2" et [latex]R[/latex] : "x² < 4" où x est un nombre réel, Alors [latex](P \land Q) \Rightarrow R[/latex] est vraie. donc [latex](P \Rightarrow R) \lor (Q \Rightarrow R)[/latex] est vraie. Ainsi, (x > 0 [latex]\Rightarrow[/latex] x² < 4) ou (x < 2 [latex]\Rightarrow[/latex] x² < 4) est vraie. Mais, l'on sait bien qu'aucune de ces 2 propositions n'est vraie... Pied de page des forums P2T basé sur PunBB Screenshots par Robothumb © Copyright 2002–2005 Rickard Andersson
Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact

Écrire une réponse

Résumé de la discussion

Pied de page des forums