Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Autre LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau autre
Logique.
Posté par julien_4230 (invité)
Bonjour.
Dans le but d'effectuer un classement du 1er au 4e, On doit s'intéresser au fait que le 4e soit après le 1er.
Soit A la proposition : « On doit s'intéresser au fait que le 4e soit après le 1er. »
A est-il vrai ou est-il faux ? La question nous laisse perplexe, et l'on ne sait que répondre…
Soit P l'affirmation : « On doit s'intéresser »
Soit Q l'affirmation : « Le 4e est après le 1er »
Donc
A : Q => P
Trouvons un équivalent de A par les contraires de P et de Q,
Tel que :
A : nonP => nonQ
On a :
NonP : « On ne doit pas s'intéresser »
NonQ : « Le 4e est avant le 1er »
D'où :
A : nonP => nonQ A : Le 4e avant le 1e ne doit pas nous intéresser.
Conclusion :
A est faux.
Critique : le raisonnement est absurde, car le non intérêt n'implique sûrement pas le 4e avant le 1er, car c'est un non intérêt qui n'est pas lié directement à nonQ dès le début de A, c'est-à-dire que c'est un non intérêt neutre.
Peut-on alors en conclure que A est vrai ? Non, puisque l'universel est hors du particulier.
Conclusion : la logique ne permet pas la réponse à la question. Donc cette question est purement subjective.
J'aimerais avoir un maximum de critiques. Merci !
Moi je ne vois vraiment pas le rapport entre « On doit s'intéresser » => « Le 4e est après le 1er » et la proposition de départ « On doit s'intéresser au fait que le 4e soit après le 1er. » 
Posté par julien_4230 (invité)re : Logique.
Je reprends :
Q => P
<=>
la 4e après le premier => on doit s'intéresser
Comme j'ai dit, je ne vois pas le rapport entre la proposition:
[« On doit s'intéresser » => « Le 4e est après le 1er »]
et la proposition de départ:
[« On doit s'intéresser au fait que le 4e soit après le 1er. »]
Bonjour
"on s'intéresse" signifie "il faut que",non? Et dans ce cas il n'y a qu'une condition qui doit être vérifiée c.à.d :Q est vrai.
"on s'intéresse" n'est pas une proposition mathématique en soi.
Je dirais plutôt que la proposition qui nous intéresse ici est "le classement est réalisé" . Qu'en pensez vous?
Citation :
Comme j'ai dit, je ne vois pas le rapport entre la proposition:
[« On doit s'intéresser » => « Le 4e est après le 1er »]
et la proposition de départ:
[« On doit s'intéresser au fait que le 4e soit après le 1er. »]
Comme j'ai dit, je ne vois pas le rapport entre la proposition:
[« On doit s'intéresser » => « Le 4e est après le 1er »]
et la proposition de départ:
[« On doit s'intéresser au fait que le 4e soit après le 1er. »]
Désolé j'avais lu "P => Q" au lieu de "Q => P". Je suis ok pour dire que
[« On doit s'intéresser au fait que le 4e soit après le 1er. »]
peut s'écrire
[« Le 4e est après le 1er » => [« On s'intéresse » ]
(je supprimerais le verbe "doit" à droite car c'est ce verbe qui se traduit par l'implication)
Par contre je ne suis pas d'accord que la contraposée:
[« On ne s'intéresse pas » => « Le 4e n'est pas après le 1er »]
se traduit par
Citation :
Le 4e avant le 1e ne doit pas nous intéresser
Le 4e avant le 1e ne doit pas nous intéresser