Comment doit-on introduire une variable avant son usage en formule ?
Par une expression comme « soit x ».
Quelle différence existe-t-il entre f et f(x) ?
f est une fonction, f(x) est le nombre image de x par f.
Pourquoi ne peut-on pas additionner un vecteur de R² avec 2 ?
Parce que cela ne respecte pas la nature des objets.
Pourquoi ne peut-on pas appliquer ln à un complexe non réel ?
Parce que cela ne respecte pas la nature des objets.
Que signifie le quantificateur universel ?
Il signifie « pour tout » ou « quel que soit ».
Que signifie le quantificateur existentiel ?
Il signifie « il existe ».
Comment introduit-on un objet dans une démonstration ?
Par « Soit x ∈ E ».
À quoi servent les quantificateurs dans une démonstration ?
À formuler des énoncés, pas à introduire des objets.
Pourquoi l’ordre des quantificateurs est-il essentiel ?
Parce que n’est pas équivalent à .
Que montre l’exemple versus ?
Que changer l’ordre des quantificateurs change le sens.
Qu'est-ce qu'une proposition en logique ?
Un énoncé dont on peut décider s'il est vrai ou faux au moment où il est formulé.
Comment utilise-t-on une proposition vraie P en raisonnement ?
On écrit « On a P » puis on en déduit une conséquence introduite par « donc ».
Quand la négation non P d'une proposition P est-elle vraie ?
Elle est vraie lorsque P est fausse.
Quand la négation non P d'une proposition P est-elle fausse ?
Elle est fausse lorsque P est vraie.
Quelle méthode suffit pour montrer qu'une proposition P est fausse ?
Montrer que sa négation non P est vraie.
Quand la proposition P ET Q est-elle vraie ?
Quand P et Q sont vraies.
Quand la proposition P ET Q est-elle fausse ?
Dans tous les autres cas que P et Q vraies.
Quand la proposition P OU Q est-elle vraie ?
Si P ou Q est vraie.
Quand la proposition P OU Q est-elle fausse ?
Si P et Q sont toutes deux fausses.
Quelle est la loi de De Morgan pour ?
Quelle est la loi de De Morgan pour ?
Quelle est la forme logique de l'implication P ⇒ Q ?
(non P) OU Q.
Quand une implication P ⇒ Q est-elle vraie si P est fausse ?
Elle est vraie même si Q est fausse.
Quelle méthode utilise-t-on pour démontrer P ⇒ Q ?
On suppose P vraie puis on démontre Q.
Quelle est la contraposée de l'implication P ⇒ Q ?
L'implication non Q ⇒ non P.
Quelle relation existe entre une implication et sa contraposée ?
Elles sont équivalentes.
Quand l'équivalence P ⇔ Q est-elle vraie ?
Si P et Q ont la même valeur de vérité.
Comment démontre-t-on une équivalence P ⇔ Q ?
Par P ⇒ Q et Q ⇒ P.
Entre quelles expressions les symboles ⇒ et ⇔ s'emploient-ils ?
Entre propositions.
Que ne doivent pas remplacer les symboles ⇒ et ⇔ en rédaction mathématique ?
Une phrase française complète.
Quelle condition doit-on écrire pour conclure qu'une fonction est continue par sa dérivabilité ?
La fonction est dérivable.
Quelle implication doit-on rappeler pour conclure qu'une fonction dérivable est continue ?
Dérivable implique continue.
Que faut-il vérifier avant de manipuler une égalité contenant une division ?
Les conditions de définition.
Comment fonctionne un raisonnement par l’absurde pour prouver P ?
On suppose non P vraie, on obtient une contradiction, puis on conclut que P est vraie.
Quelle méthode démontre P ⇒ Q en prouvant non Q ⇒ non P ?
Le raisonnement par contraposée.
Que fait un raisonnement par analyse-synthèse pour trouver une solution ?
Il étudie une solution hypothétique pour obtenir des conditions nécessaires puis vérifie les candidats.
Quels types d'objets mathématiques existent ?
Nombres, ensembles, fonctions, suites ou vecteurs.
Qu'est-ce qui détermine les opérations possibles sur un objet mathématique ?
La nature de cet objet détermine les opérations et propriétés valides.
Peut-on échanger deux quantificateurs consécutifs du même type sans changer l’énoncé ?
Oui, on peut les échanger sans modifier l’énoncé.
Donnez un exemple où deux quantificateurs du même type sont échangés.
Par exemple, peut être inversé.
Quelle est la négation de l'énoncé quantifié ?
.
Que signifie P ⇒ Q dans une équivalence ?
P est une condition suffisante de Q.
Quelle égalité doit-on établir pour montrer qu'une fonction est impaire ?
f(-x) = -f(x) pour tout x de son domaine.
Quelle méthode est incorrecte pour conclure qu'une fonction est impaire ?
Conclure par une équivalence isolée.
À quoi sert principalement l’analyse-synthèse dans ce cours ?
À traiter l’existence et l’unicité d’une solution.
Que donne l’analyse dans la méthode analyse-synthèse ?
Elle donne souvent l’unicité de la solution.
Que justifie la synthèse dans la méthode analyse-synthèse ?
Elle justifie l’existence de la solution.
Qui a proposé en 1900 une liste de 23 problèmes mathématiques importants ?
David Hilbert.
Quel est le statut actuel des 23 problèmes de Hilbert ?
11 sont résolus, 6 partiellement, 6 non résolus.
Teste tes connaissances avec un QCM de 24 questions sur Chapitre 1.
1. Quelle formulation respecte la règle d’introduction d’une variable avant son utilisation dans une formule ?
2. Que désigne lorsque est une fonction ?
Révisez le cours complet dans la fiche de révision de Chapitre 1.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards