La logique — les bases du raisonnement

La logique figure dans les fondamentaux car elle est le socle du raisonnement mathématique : savoir ce qu'est une affirmation vraie ou fausse, comment on combine des conditions, et comment on démontre. C'est la base de tout raisonnement rigoureux, en maths comme en programmation (les conditions if, les booléens) et en sécurité (raisonner sur ce qui est garanti ou non).

Comme la logique est aussi — et surtout — un pilier des mathématiques discrètes, elle y est traitée en profondeur dans un cours dédié. Plutôt que de dupliquer, ce fichier récapitule l'essentiel des fondamentaux et renvoie au cours complet.

L'essentiel à retenir (niveau fondamentaux)

Une proposition est un énoncé soit vrai, soit faux. C'est l'unité du raisonnement.

Les connecteurs combinent les propositions :

• NON ($\neg$) inverse la valeur de vérité.
• ET ($\wedge$) : vrai si les deux sont vraies.
• OU ($\vee$) : vrai si au moins une est vraie.
• implication ($\Rightarrow$, « si… alors ») : traduit une conséquence.
• équivalence ($\Leftrightarrow$) : vrai si les deux ont la même valeur.

Ce sont exactement les opérateurs booléens qu'on utilise en programmation (&&, ||, !) et les portes logiques des circuits.

Les quantificateurs étendent la logique : pour tout ($\forall$) et il existe ($\exists$). Nier « tout est correct » donne « il existe quelque chose d'incorrect » — la logique même de la recherche de contre-exemples et du test.

Les méthodes de démonstration (directe, par contraposée, par l'absurde, par récurrence) fondent la rigueur mathématique. La récurrence est le pendant de la récursivité en programmation.

Pour aller plus loin

Le cours complet de logique — tables de vérité, lois de De Morgan, algèbre de Boole, quantificateurs en détail, méthodes de preuve, et tous les liens avec les circuits, la crypto (XOR) et le pentest — se trouve dans le domaine Mathématiques discrètes, cours « La logique ». C'est là que cette matière est développée avec ses applications informatiques.

Ce qu'il faut retenir

• La logique est le socle du raisonnement : propositions (vrai/faux), connecteurs (NON, ET, OU, implication, équivalence), quantificateurs (pour tout, il existe), méthodes de preuve.
• Ces notions sont les opérateurs booléens de la programmation et des circuits.
• Le traitement approfondi (tables de vérité, De Morgan, algèbre de Boole, preuves, applications crypto/sécurité) est dans le domaine Mathématiques discrètes.