Scribd
Importer
21 vues2 pages

Cours Avancé sur la Logique et Raisonnement

La logique est une discipline essentielle des mathématiques, utilisée pour raisonner et analyser des arguments dans divers domaines. Elle se compose de propositions, de connecteurs logiques et de tables de vérité, qui aident à établir des vérités. Le document aborde également différents types de raisonnement logique et propose des exercices pour pratiquer ces concepts.

Transféré par

ocadam3
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd
21 vues2 pages

Cours Avancé sur la Logique et Raisonnement

La logique est une discipline essentielle des mathématiques, utilisée pour raisonner et analyser des arguments dans divers domaines. Elle se compose de propositions, de connecteurs logiques et de tables de vérité, qui aident à établir des vérités. Le document aborde également différents types de raisonnement logique et propose des exercices pour pratiquer ces concepts.

Transféré par

ocadam3
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd

Cours Avancé et Détailé : La Logique

1. Introduction à la Logique
La logique est une discipline fondamentale des mathématiques qui fournit les bases pour
raisonner correctement, établir des vérités et analyser des arguments. Elle est utilisée dans
divers domaines, tels que les mathématiques, l'informatique, la philosophie, et les sciences
naturelles.

2. Propositions et Connecteurs Logiques

2.1 Propositions
Une proposition est une phrase ou une déclaration qui peut être évaluée comme vraie (V)
ou fausse (F). Exemples :

 - 'Le soleil se lève à l'Est' est une proposition vraie.


 - '5 est un nombre pair' est une proposition fausse.

2.2 Connecteurs Logiques


Les connecteurs permettent de combiner ou de modifier des propositions. Les principaux
sont :

 - **NON (¬)** : Rend la proposition opposée.


 - **ET (∧)** : Combine deux propositions vraies simultanément.
 - **OU (∨)** : Combine deux propositions où au moins une est vraie.
 - **IMPLIQUE (⇒)** : Indique qu'une proposition entraîne une autre.
 - **ÉQUIVALENT (⇔)** : Indique que deux propositions ont toujours la même valeur de
vérité.

Exemple :
Soient P = 'Il pleut' et Q = 'Le sol est mouillé'. Alors :
- P ⇒ Q : 'S'il pleut, alors le sol est mouillé.'
- ¬P : 'Il ne pleut pas.'

3. Tables de Vérité
Les tables de vérité permettent de déterminer les valeurs de vérité des propositions
complexes en fonction des connecteurs logiques.

P Q P∧Q P∨Q
V V V V
V F F V
F V F V
F F F F

4. Raisonnement Logique
Les types de raisonnement incluent :

 - Raisonnement déductif : Partir d’hypothèses pour arriver à une conclusion logique.


 - Raisonnement par contraposée : Montrer que ¬Q ⇒ ¬P pour prouver P ⇒ Q.
 - Raisonnement par l’absurde : Supposer que la conclusion est fausse et montrer une
contradiction.

5. Exercices Progressifs

Exercices de Base :
1. Déterminez les valeurs de vérité des propositions suivantes :

1. - '2 + 2 = 4' ET '5 est impair'.


2. - NON('Le ciel est bleu' OU 'La Terre est plate').

Exercices Avancés :
1. Établissez les tables de vérité pour les propositions suivantes :

3. - P ⇒ (Q ∧ ¬R).
4. - (P ∨ Q) ⇔ ¬(P ∧ ¬Q).

Vous aimerez peut-être aussi