What is Investigating Preuve par déduction?

AI Summary

Photosynthesis is the process by which plants, algae, and some bacteria convert light energy into chemical energy stored as glucose. Investigating photosynthesis helps us understand how organisms produce oxygen and food, supporting nearly all life on Earth.

Get started for free

Access relevant flashcards for Investigating Photosynthesis

Start learning
Deprecated: strtotime(): Passing null to parameter #1 ($datetime) of type string is deprecated in /var/www/html/web/app/themes/studypress-core-theme/template-parts/API/explanations/minimal-design/main-content.php on line 24
  • Content creation by StudySmarter Biology Team.

  • Gabriel Freitas's avatar

    Sources verified by

    Gabriel Freitas.

    Quality reviewed by Gabriel Freitas.

  • Published: 24.06.2024. Last updated: 01.01.1970.

'Si aujourd'hui est un week-end, alors demain doit être un jour de semaine.'


Cette affirmation peut être soit vraie, soit fausse, ce qui la rend parfaite pour la preuvea> par déduction. Tu peux diviser cette affirmation en deux parties : Aujourd'hui est un week-end (A) ; demain doit être un jour de semaine (B). Mathématiquement, tu peux l'écrire comme suit :


\(A \rightarrow B\), où \(\rightarrow\) est le symbole signifiant "implique".

Qu'est-ce que la preuve par déduction ?

Dans la preuve par déduction, la vérité de l'énoncé est basée sur la vérité de chaque partie de l'énoncé (A ; B) et sur la force de la logique qui relie chaque partie.


L'énoncé A : " si aujourd'hui est un week-end " nous donne deux réponses, samedi et dimanche, car ce sont les deux seuls jours du week-end.


Nous utilisons ensuite nos réponses pour l'affirmation A et l'affirmation B pour tester la logique de l'affirmation principale.


Si nous sommes aujourd'hui samedi, alors demain sera un dimanche. La conclusion est donc fausse. En revanche, si nous sommes aujourd'hui dimanche, demain sera lundi et la conclusion sera vraie.


Par conséquent, la logique de l'énoncé de conclusion dépend de l'énoncé A et est donc faible.


En mathématiques, les énoncés de conclusion ont tendance à avoir des réponses plus concluantes (parce que les chiffres ne mentent pas !). Pour prouver une conclusion mathématique(conjecture) par preuve de déduction, tu as besoin d'axiomes mathématiques et d'une logique solides .

Les axiomes mathématiques sont les concepts mathématiques qui sous-tendent l'énoncé de conclusion.

Résoudre des questions sur la preuve par déduction

Pour résoudre une question de preuve par déduction, tu dois :

  1. Considère la logique de la conjecture.
  2. Exprime l'axiome sous forme d'expression mathématique lorsque c'est possible.
  3. Résoudre à travers pour voir si la logique s'applique à la conjecture.
  4. Fais une déclaration de conclusion sur la vérité de la conjoncture.

Exprimer l'axiome mathématiquement

Même si la plupart de ces règles algébriques te seront familières, il est bon de se familiariser avec elles car l'expression des axiomes sous forme d'expression mathématique nécessite parfois un peu de créativité en utilisant ces règles.


n représente n'importe quel nombre.


  • Pour exprimer que n est un multiple de A, tu peux écrire An

Exprime mathématiquement n comme un multiple de 12.


A est égal à 12. Par conséquent, la réponse est 12n

  • Pour exprimer des nombres consécutifs, tu peux commencer par n ( ou tout autre point de départ) et ajouter un à chaque fois pour obtenir n + 1, n + 2, etc.

Exprime les deux nombres consécutifs suivants après \(x^2\)


Pour obtenir les nombres consécutifs suivants, tu ajoutes 1 à chaque nombre consécutif. Par conséquent, le premier terme est \N(x^2\N), le deuxième terme est \N(x^2 + 1\N), le troisième terme est \N(x^2 + 2\N).

  • Pour exprimer les nombres pairs consécutifs, tu peux commencer par les nombres consécutifs : n , n + 1, n + 2. Tu multiplies ensuite chaque terme par 2 car tous les nombres pairs sont des multiples de 2. Les termes pairs consécutifs sont donc 2 (n), 2 (n + 1), 2 (n + 2), ce qui peut être simplifié en 2n, 2n + 2, 2n + 4, etc.
  • L'expression des nombres impairs consécutifs est un peu plus compliquée que celle des nombres pairs consécutifs, car les nombres impairs ne font pas partie d'un multiple. Cependant, ils sont définis par le fait qu'ils ne sont pas un multiple de deux ; par conséquent, toutes les lacunes dans les nombres pairs consécutifs constitueront les nombres impairs consécutifs.


Nombres pairs consécutifs2n
2n + 2
2n + 4
Nombres impairs consécutifs
2n + 1
2n + 3
2n + 5

Exemple de preuve par déduction

Nous allons maintenant passer en revue quelques exemples pour montrer comment tu réponds à ce genre de questions.

Prouve que la somme de deux nombres consécutifs est équivalente à la différence entre deux nombres consécutifs au carré.


Comme décrit ci-dessus, tu peux exprimer algébriquement deux nombres consécutifs sous la forme n, n + 1.


La somme de deux nombres consécutifs est donc \(n + n + 1 = 2n +1\).

Pour trouver la différence entre deux nombres consécutifs au carré, tu dois d'abord élever au carré chaque nombre consécutif pour obtenir \((n)^2\) et \((n + 1)^2\).


En développant et en simplifiant les carrés, tu obtiens :

\N(n)^2 \Nquad devient \Nquad n^2\N)

\N(n + 1)^2 = (n + 1) (n + 1) = n^2 + 2n + 1\N)


Par conséquent, la différence entre deux nombres consécutifs au carré est la suivante

\N( n^2 + 2n + 1 - n^2 = 2n + 1\N)


Pour terminer la question, tu dois écrire une conclusion : La somme de deux nombres consécutifs et la différence entre deux nombres consécutifs au carré sont égales entre elles car elles sont toutes les deux égales à 2n + 1.

Prouve que la réponse à l'équation \(x^2 + 8x + 20\) est toujours positive.


Comme tu ne veux qu'une seule variable de x, tu dois compléter le carré avec l'équation.

  1. Tout d'abord, tu divises b (8) par deux et tu le substitues à ta nouvelle équation : \((x + 4)^2\).
  2. Tu développes ensuite pour trouver ta constante à l'extérieur de la parenthèse ((x + 4)^2 = (x + 4)(x + 4) = x^2 + 8x +16\). Tu as besoin de +20 pour que la nouvelle équation corresponde à l'équation, donc tu as besoin de +4. La réponse est donc \N((x + 4)^2 + 4\N).


Comme toujours, tu as besoin d'une conclusion pour expliquer les mathématiques : Quelle que soit la valeur de x, en l'élevant au carré et en ajoutant 4, la valeur de l'équation sera toujours positive.

Preuve par déduction - Principaux points à retenir

  • La preuve par déduction utilise des axiomes mathématiques et la logique pour prouver ou réfuter une conjecture.
  • Tu peux exprimer plusieurs axiomes de façon algébrique, comme les nombres pairs et impairs consécutifs.

How we ensure our content is accurate and trustworthy

At StudySmarter, we have created a learning platform that serves millions of students. Meet the people who work hard to deliver fact based content as well as making sure it is verified.

Content Quality Monitored by:

Creator Avatar

Gabriel Freitas

AI Engineer at StudySmarter

Gabriel Freitas is an AI Engineer with a solid experience in software development, machine learning algorithms, and generative AI, including large language models' (LLMs) applications. Graduated in Electrical Engineering at the University of São Paulo, he is currently pursuing an MSc in Computer Engineering at the University of Campinas, specializing in machine learning topics. Gabriel has a strong background in software engineering and has worked on projects involving computer vision, embedded AI, and LLM applications.

Go beyond learning with StudySmarter

Explore jobs and companies

Explore thousands of jobs and companies.

Land your dream job
Find degree and university

Find a degree & university that meets your goals.

Find opportunities
Logo

About StudySmarter

StudySmarter is a global EdTech platform helping millions of students learn faster and succeed in exams like GCSE, A Level, SAT, ACT, and Abitur. Our expert-reviewed content, interactive flashcards, and AI-powered tools support learners across STEM, Social Sciences, Languages, and more.

Table of Contents

Sign up for our free learning platform!

Access subjects, mock exams, and features to revise more efficiently. All 100% free!

Get your free account!
Cta Image