Méthodes en mathématiques

  • Logique formelle (connecteurs, tables de vérité)
  • Opérations sur les ensembles (quantificateurs)
  • Techniques de démonstration (contraposée, absurde, récurrence)