En BTS Comptabilité et Gestion, les mathématiques appliquées jouent un rôle clé pour structurer un raisonnement rigoureux, notamment face à des situations où l’incertitude ou la complexité des données exigent une analyse précise. Cette leçon aborde les propositions et prédicats, des outils fondamentaux pour formaliser des énoncés et manipuler des assertions avec clarté. Que ce soit pour évaluer la validité d’un contrat, automatiser des vérifications comptables ou modéliser des scénarios probabilistes, maîtriser ces concepts permet d’éviter les ambiguïtés et d’affiner les prises de décision. Vous explorerez d’abord comment les connecteurs logiques transforment des énoncés simples en expressions plus élaborées, avant de découvrir les quantificateurs, qui étendent ces principes à des ensembles de données. Les lois de De Morgan, quant à elles, offriront une clé pour simplifier ou inverser des conditions, une compétence utile aussi bien en programmation qu’en audit. Ces notions, souvent perçues comme abstraites, trouvent en réalité des applications.
