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... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Démontrer l'associativité de la disjonction
Posté par jadinette
Bonjour, je n'arrive pas en déduction naturelle à montrer que
Auriez-vous des pistes ? Il faut utiliser les règles de déduction naturelle
Ah, pas moi.
J'obtiens que si je veux montrer r à partir de p ou q, je dois montrer r à partir de p et aussi r à partir de q.
En fait je dois résoudre le problème sur un site et il faut respecter les règles autorisées. Voilà le lien de l'exercice : https://****lien interdit supprimé****
Est-ce que vous trouvez que c'est faisable ou pas ?
****message modéré***pas d'énoncé, pas de réponse****
à LIRE AVANT de répondre, merci
Les modos : vous pensez que c'est en laissant un élève comme un clochard sur un exo pendant des semaines qu'il va y arriver ?
J'ai déjà perdu des journées sur ce problème de merde.
Je ne vois pas quelle foutue règle il faut utiliser et sans Schtromphmol je saurais toujours pas qu'il faut commencer par l'élimination de la disjonction. D'ailleurs je vois pas comment continuer.
Pourquoi vous comprenez pas que tout ce dont j'ai besoin c'est du corrigé ? C'est ça qui me montrera le mieux comment résoudre le problème. ça sert à rien de nous laisser chercher dans le vide pendant des heures à part à perdre du temps
Schtromphmol @ 02-12-2017 à 19:36
****message modéré***pas d'énoncé, pas de réponse**** à LIRE AVANT de répondre, merci
****message modéré***pas d'énoncé, pas de réponse****
à LIRE AVANT de répondre, merciEuh là en l'occurence l'énoncé était présent, de manière pas tout-à-fait exacte certes mais presque, le problème ici je pense est que l'élève a du mal à prendre du recul sur l'exercice, le fait qu'il ai transmis la source ne peut qu'être bénéfique je pense dans ce cas.
@jadinette Te transmettre la solution toute faite ne t'aiderais pas à mon avis, je te conseille de faire les exercices précédents du site pour t'entraîner si ce n'est déjà fait (pas forcément tous mais au moins quelques simples). Ensuite jettes un oeil là-dessus
(btw c'est comme ça qu'il faut mettre des liens sur ce site et c'est dans doute ce qui a invoqué la modération). Il est important de bien comprendre ce qui se passe derrière et pas juste faire de la bidouille avec le site (c'est un peu le danger de ce genre d'exo).