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
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
divers types de raisonnement
Posté par mouss33
Bonjour à tous.
Dans le cadre du capes, on nous demande souvent d'énoncer les différents types de raisonnements.
J'ai un doute pour la récurrence. J'ai 2 énoncés!
Soit une proposition (assertion?) dépendant d'une variable
Initialisation :
Hérédité:
conclusion:
Ensuite j'ai la même version où vous allez vite constater la différence!
Initialisation : est vraie
Hérédité: est vraie
conclusion: est vraie
Laquelle est la plus correcte ?
J'ai du mal à cerner la différence entre assertion et proposition !quelqu'un peut tenter une explication ?!
Merci d'avance !
Bonjour
Je préfère de beaucoup préciser vraie dans l'hypothèse et P(n) vraie dans la conclusion. En fait je ne sais même pas ce que veut dire
! De toute façon l'initialisation consiste à
que
est vraie!
entièrement d'accord avec toi Camélia!
Par contre pour l'hérédité, ce n'est pas lourd d'écrire : (P(n)vraie=> P(n+1) vraie) est vraie?
Parce que je suis d'accord avec toi thiblepri, (P(n)=> P(n+1) sous entend P(n)vraie=> P(n+1) vraie.
Mais est ce que c'est la meme chose que (P(n)vraie=> P(n+1) vraie) est vraie?
Dans le dernier cas, j'ai l'impression qu'on montre que la proposition (P(n)vraie=> P(n+1) vraie) est vraie.