1- Logique
CONTENUS
Quantificateurs.
Implication, contraposition, équivalence.
Modes de raisonnement : par récurrence (faible et forte), par contraposition, par l’absurde, par analyse-synthèse.
Implication, contraposition, équivalence.
Modes de raisonnement : par récurrence (faible et forte), par contraposition, par l’absurde, par analyse-synthèse.
Plan du chapitre
1 (Très) brève description des mathématiques
2 Vocabulaire usuel
3 Calcul propositionnel
3.1 Définition d’une propositio
3.2 Equivalence logique
3.3 Négation d’une proposition
3.4 Les connecteurs logiques « et » et « ou »
3.5 Implication logique
3.5.1 Définition de l’implication logique
3.5.2 C.N.S., ssi, il faut et il suffit
3.5.3 Négation, contraposée et réciproque d’une implication
3.1 Définition d’une propositio
3.2 Equivalence logique
3.3 Négation d’une proposition
3.4 Les connecteurs logiques « et » et « ou »
3.5 Implication logique
3.5.1 Définition de l’implication logique
3.5.2 C.N.S., ssi, il faut et il suffit
3.5.3 Négation, contraposée et réciproque d’une implication
4 Les quantificateurs « ∀ » et « ∃ »
4.1 Définition des quantificateurs
4.2 Propriétés des quantificateurs avec une variable
4.3 Propriétés des quantificateurs avec deux variables
4.1 Définition des quantificateurs
4.2 Propriétés des quantificateurs avec une variable
4.3 Propriétés des quantificateurs avec deux variables
5 Les grands types de raisonnement
5.1 Le raisonnement déductif
5.2 Le raisonnement par l’absurde
5.3 Le raisonnement par contraposition
6 Erreurs classiques à ne pas commettre
5.1 Le raisonnement déductif
5.2 Le raisonnement par l’absurde
5.3 Le raisonnement par contraposition
6 Erreurs classiques à ne pas commettre
إرسال تعليق