Résumé de section

    • Nous apprendrons à distinguer les propositions des non-propositions et à déterminer leurs valeurs de vérité.
    • Nous étudierons les connecteurs logiques, leurs tables de vérité et les quantificateurs (∀, ∃).
    • Enfin, nous découvrirons différents types de raisonnements pour rédiger des démonstrations mathématiques rigoureuses et justes.