La logique mathématique peut sembler intimidante, mais c'est en fait...
Maths153 views·Updated Jun 7, 2026·1 pageMaths Spé - Essentials de la Logique pour Réviser
1
of 1
Initiation à la logique
Les symboles logiques sont comme un code secret qui rend les maths plus précises. Tu utiliseras ∀ pour dire "quel que soit" ou "pour tout", et ∃ pour "il existe". Le symbole ∃! signifie "il existe un unique", ce qui est encore plus spécifique.
La négation (symbole ¬) inverse complètement une proposition. Si P₁ : "∀x∈ℝ, x ≥ 0" était vraie (ce qui n'est pas le cas !), alors ¬P₁ serait fausse. C'est un principe de base : une proposition et sa négation ont toujours des valeurs opposées.
Les lois de Morgan te montrent comment nier des propositions complexes. Pour nier "P et Q", tu obtiens "(non P) ou (non Q)". Pour nier "P ou Q", tu obtiens "(non P) et (non Q)". Retiens cette astuce : la négation change "et" en "ou" et inversement !
Astuce pratique : Quand tu nies une implication P ⇒ Q, tu obtiens "P et (non Q)" - autrement dit, P est vraie MAIS Q est fausse.
L'implication P ⇒ Q se traduit par "si P est vraie, alors Q est vraie". P devient une condition suffisante pour Q, et Q une condition nécessaire pour P. La contraposée (¬Q ⇒ ¬P) change l'ordre ET les signes, tandis que la réciproque (Q ⇒ P) change seulement l'ordre.
We thought you’d never ask...
What is the Knowunity AI companion?
Our AI companion is specifically built for the needs of students. Based on the millions of content pieces we have on the platform we can provide truly meaningful and relevant answers to students. But its not only about answers, the companion is even more about guiding students through their daily learning challenges, with personalised study plans, quizzes or content pieces in the chat and 100% personalisation based on the students skills and developments.
Where can I download the Knowunity app?
You can download the app in the Google Play Store and in the Apple App Store.
Is Knowunity really free of charge?
That's right! Enjoy free access to study content, connect with fellow students, and get instant help – all at your fingertips.
Most popular content in Maths
9Most popular content
9Can't find what you're looking for? Explore other subjects.
Students love us — and so will you.
4.6/5App Store
4.7/5Google Play
The app is very easy to use and well designed. I have found everything I was looking for so far and have been able to learn a lot from the presentations! I will definitely use the app for a class assignment! And of course it also helps a lot as an inspiration.
Stefan SiOS user
This app is really great. There are so many study notes and help [...]. My problem subject is French, for example, and the app has so many options for help. Thanks to this app, I have improved my French. I would recommend it to anyone.
Samantha KlichAndroid user
Wow, I am really amazed. I just tried the app because I've seen it advertised many times and was absolutely stunned. This app is THE HELP you want for school and above all, it offers so many things, such as workouts and fact sheets, which have been VERY helpful to me personally.
AnnaiOS user
Maths153 views·Updated Jun 7, 2026·1 pageMaths Spé - Essentials de la Logique pour Réviser
La logique mathématique peut sembler intimidante, mais c'est en fait un outil super pratique pour structurer tes raisonnements ! Tu vas découvrir les symboles essentiels et les règles de base qui te serviront dans toutes tes démonstrations.
1
of 1
Sign up to see the content. It's free!
- Access to all documents
- Improve your grades
- Join milions of students
Initiation à la logique
Les symboles logiques sont comme un code secret qui rend les maths plus précises. Tu utiliseras ∀ pour dire "quel que soit" ou "pour tout", et ∃ pour "il existe". Le symbole ∃! signifie "il existe un unique", ce qui est encore plus spécifique.
La négation (symbole ¬) inverse complètement une proposition. Si P₁ : "∀x∈ℝ, x ≥ 0" était vraie (ce qui n'est pas le cas !), alors ¬P₁ serait fausse. C'est un principe de base : une proposition et sa négation ont toujours des valeurs opposées.
Les lois de Morgan te montrent comment nier des propositions complexes. Pour nier "P et Q", tu obtiens "(non P) ou (non Q)". Pour nier "P ou Q", tu obtiens "(non P) et (non Q)". Retiens cette astuce : la négation change "et" en "ou" et inversement !
Astuce pratique : Quand tu nies une implication P ⇒ Q, tu obtiens "P et (non Q)" - autrement dit, P est vraie MAIS Q est fausse.
L'implication P ⇒ Q se traduit par "si P est vraie, alors Q est vraie". P devient une condition suffisante pour Q, et Q une condition nécessaire pour P. La contraposée (¬Q ⇒ ¬P) change l'ordre ET les signes, tandis que la réciproque (Q ⇒ P) change seulement l'ordre.
We thought you’d never ask...
What is the Knowunity AI companion?
Our AI companion is specifically built for the needs of students. Based on the millions of content pieces we have on the platform we can provide truly meaningful and relevant answers to students. But its not only about answers, the companion is even more about guiding students through their daily learning challenges, with personalised study plans, quizzes or content pieces in the chat and 100% personalisation based on the students skills and developments.
Where can I download the Knowunity app?
You can download the app in the Google Play Store and in the Apple App Store.
Is Knowunity really free of charge?
That's right! Enjoy free access to study content, connect with fellow students, and get instant help – all at your fingertips.
Most popular content in Maths
9Most popular content
9Can't find what you're looking for? Explore other subjects.
Students love us — and so will you.
4.6/5App Store
4.7/5Google Play
The app is very easy to use and well designed. I have found everything I was looking for so far and have been able to learn a lot from the presentations! I will definitely use the app for a class assignment! And of course it also helps a lot as an inspiration.
Stefan SiOS user
This app is really great. There are so many study notes and help [...]. My problem subject is French, for example, and the app has so many options for help. Thanks to this app, I have improved my French. I would recommend it to anyone.
Samantha KlichAndroid user
Wow, I am really amazed. I just tried the app because I've seen it advertised many times and was absolutely stunned. This app is THE HELP you want for school and above all, it offers so many things, such as workouts and fact sheets, which have been VERY helpful to me personally.
AnnaiOS user