Capacités attendues:

• Transformer un énoncé mathématique en écriture symbolique en utilisant les connecteurs et les quantificateurs logiques et inversement ;
• Utiliser le type de raisonnement convenable selon la situation étudiée ;
• Rédiger des raisonnements et conduire des démonstrations mathématiques claires et logiquement correctes.