Ma1 Ch3: Bilan de fin de chapitre

Traduire

• vocabulaire lié aux expressions littérales : variable, constante, expression ;
• définition et caractérisation algébrique des nombres pairs, impairs, multiples, se terminant par « ... », consécutifs ;

Implication, conjecture

• les convention(s) implicite(s) ;
• les principes de la construction mathématique : axiome – définition – conjecture – démonstration – théorème – contre-exemple ;
• principe du tiers exclu ;
• implications, hypothèses (parfois implicites), conclusions ; écrire une conjecture sous la forme d'une implication lorsque c'est possible ;
• identifier les hypothèses et conclusions dans l'énoncé d'une implication ;
• utiliser un contre-exemple pour invalider une conjecture ;
• démontrer qu'une conjecture est vraie ;

Réciproque, contraposée

• contraposée et réciproque d'une implication, équivalence ; énoncer réciproques et contraposées d'une implication donnée ;
• équivalence entre une implication et sa contraposée; indépendance entre une implication et sa réciproque.