Définition
Logique
La logique est la science du raisonnement valide. Elle examine la structure des arguments et détermine les règles et les critères à suivre pour qu’ils soient corrects.
Proposition
Une proposition est une déclaration qui est soit vraie, soit fausse, mais pas les deux à la fois.
Connecteurs Logiques
Ce sont des mots ou expressions qui relient des propositions, telles que 'ET', 'OU', 'NON', 'IMPLIQUE', et 'SI ET SEULEMENT SI'.
Tableau de Vérité
C'est un outil utilisé pour déterminer la valeur de vérité d'une proposition composée à partir des valeurs de vérité de ses composantes.
Quantificateurs
Les quantificateurs, comme 'pour tout' et 'il existe', sont utilisés pour exprimer et analyser des propositions impliquant des ensembles d'objets.
Théorie des propositions
Dans la logique des propositions, nous utilisons des symboles pour représenter des propositions, comme les lettres 'p', 'q', et 'r'. Les connecteurs logiques sont utilisés pour créer de nouvelles propositions à partir de propositions existantes. Par exemple, si 'p' est 'il pleut' et 'q' est 'je suis à l'intérieur', alors 'p ET q' signifie 'il pleut et je suis à l'intérieur'.
Tableau de Vérité
Un tableau de vérité permet de résumer les états possibles d'une proposition logique. Par exemple, pour la proposition 'p ET q', le tableau de vérité est le suivant :
| p | q | p ET q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Logique des prédicats
La logique des prédicats étend la logique des propositions en incluant des objets, leurs propriétés et des relations entre eux. Les quantificateurs servent à généraliser des propositions sur des ensembles d'objets. Par exemple, le quantificateur 'pour tout' est symbolisé par ∀, et 'il existe' par ∃. Une proposition comme 'Pour tout x, P(x)' peut se lire 'P est vrai pour tout x'.
Implicatures Logiques
Une implicature est une relation logique entre deux propositions. Si 'p' implique 'q', cela signifie que 'si p est vrai, alors q doit être vrai'. Formellement, cela s'exprime 'p ⇒ q'. Cela est à distinguer de l'équivalence logique, notée 'p ⇔ q', où p est vrai si et seulement si q est vrai.
A retenir :
La logique mathématique est une analyse structurée du raisonnement abstrait, introduisant des outils pour manipuler des propositions simples et complexes à l'aide de connecteurs logiques et de quantificateurs. Les tableaux de vérité facilitent la compréhension des combinaisons de valeurs de vérité, et les principes d'implication et d'équivalence logiques sont essentiels à l'évaluation de la validité des arguments. La maîtrise de ces concepts est cruciale pour évoluer dans des études avancées en mathématiques et en sciences formelles.