1. Introduction
Le calcul propositionnel, ou logiquedisjonctionVraie quand au moins une partie est vraie : p ∨ q.Lire l'entrée complète propositionnelle, est une branche fondamentale de la logique qui se concentre sur la manipulation et la combinaison de propositionspropositionUn énoncé qui est vrai ou faux, mais pas les deux.Lire l'entrée complète, déclarations qui peuvent être définitivement déclarées vraies ou fausses. Il pose les bases pour comprendre des systèmes logiques plus complexes et trouve des applications dans diverses disciplines.
2. Propositions
Les propositions sont des phrases déclaratives qui affirment un fait sur le monde, qui peut être vrai ou faux, comme \"Il pleut\".
3. Valeurs de Vérité : ⊤ et ⊥
En logique propositionnelle, nous utilisons des symboles spéciaux pour représenter les valeurs de véritévaleur de véritéL'une des deux valeurs qu'une proposition peut prendre : vrai ou faux.Lire l'entrée complète : ⊤ (haut) représente VRAI et ⊥ (bas) représente FAUX. Ces symboles sont standard en logique formelle et apparaissent dans les tables de véritétable de véritéUne ligne par attribution de valeurs, avec la valeur de la formule.Lire l'entrée complète tout au long de ce guide.
4. Tables de Vérité
Les tables de vérité sont des méthodes systématiques pour déterminer la valeur de vérité des expressions logiques basées sur les valeurs de vérité de leurs propositions constituantes, offrant une représentation visuelle claire des opérations logiques. Elles peuvent ressembler à ceci :
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
5. Opérateurs Logiques
Les opérateurs logiquesconnecteur logiqueUn symbole qui construit une proposition composée à partir d'autres.Lire l'entrée complète sont des symboles utilisés pour connecter les propositions ou altérer leurs valeurs de vérité, formant la base pour construire des expressions logiques complexes. Les opérateurs principaux incluent :
ET ∧
Vrai si les deux propositions qu'il combine sont vraies. ∧
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
OU ∨
Vrai si au moins une des propositions combinées est vraie. ∨
| p | q | p ∨ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
IMPLIQUE →
Vrai sauf quand la première proposition est vraie et la seconde est fausse. →
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
BICONDITIONNEL ↔
Vrai si les deux propositions sont également vraies ou fausses. ↔
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
6. Expressions
Les expressions sont des déclarations plus complexes formées en joignant des propositions avec des opérateurs logiques, permettant la représentation de relations logiques nuancées.
7. Équivalences Logiques
Les équivalences logiques sont des expressions qui détiennent la même valeur de vérité sous toutes les conditions possibles. Elles incluent des lois fondamentales comme la Loi d'Identité, la Loi de Non-ContradictioncontradictionUne formule fausse sous toute interprétation.Lire l'entrée complète, et les lois de De Morganlois de De MorganLa négation change ∧ en ∨ et ∨ en ∧ : ¬(p ∧ q) ≡ ¬p ∨ ¬q.Lire l'entrée complète.
8. Preuves
Les preuves en calcul propositionnel impliquent de démontrer la vérité d'une proposition basée sur des axiomes (vérités assumées), des vérités préalablement établies, et des règles d'inférencerègle d'inférenceUn pas autorisé de formules déjà obtenues vers une nouvelle.Lire l'entrée complète. Elles sont cruciales pour valider les argumentsargumentUn ensemble de prémisses avancées à l'appui d'une conclusion.Lire l'entrée complète logiques et les théorèmes.
9. Applications
Le calcul propositionnel n'est pas seulement un cadre théorique mais a aussi des applications pratiques en informatique pour la vérification de logiciels, en mathématiques pour formaliser les preuves, et en philosophie pour analyser les arguments. Ses principes soutiennent l'étude de systèmes logiques plus avancés, comme la logique des prédicatslogique des prédicatsUne logique qui regarde à l'intérieur des propositions, objets et propriétés.Lire l'entrée complète, et jouent un rôle vital dans le développement du raisonnement logique et des compétences de pensée critique.