Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

É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
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Options
Sécurité

Répondez à la devinette suivante : 

Le père de toto a trois fils : Tim, Tam et ?

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
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete