Les formes logiques sont les structures fondamentales qui organisent les propositions en logique formelle. En plus des propositions simples et composées, plusieurs formes logiques permettent de représenter des relations complexes entre idées. Voici un guide des principales formes logiques et de leur usage.
1. Propositions simples et composées
Proposition simple
Une seule déclaration qui peut être vraie ou fausse.
Exemple : Le Soleil est une étoile.
Proposition composée
Combine plusieurs propositions simples à l’aide de connecteurs logiques.
Exemple : Le Soleil est une étoile ET il émet de la lumière.
2. Les formes logiques courantes
a. La conjonction (« ET », notée ∧)
Combine deux propositions et est vraie uniquement si les deux propositions sont vraies.
Forme : p∧qp \land q
Exemple : p : Il fait beau. q : Je vais me promener. p ∧ q : Il fait beau ET je vais me promener.
p
q
p ∧ q
Vrai
Vrai
Vrai
Vrai
Faux
Faux
Faux
Vrai
Faux
Faux
Faux
Faux
b. La disjonction (« OU », notée ∨)
Combine deux propositions et est vraie si au moins une des deux est vraie.
Forme : p∨qp \lor q
Exemple : p : Il pleut. q : Je vais lire un livre. p ∨ q : Il pleut OU je vais lire un livre.
p
q
p ∨ q
Vrai
Vrai
Vrai
Vrai
Faux
Vrai
Faux
Vrai
Vrai
Faux
Faux
Faux
c. La négation (« NON », notée ¬)
Inverse la valeur de vérité d’une proposition.
Forme : ¬p\neg p
Exemple : p : Il fait chaud. ¬p : Il ne fait pas chaud.
p
¬p
Vrai
Faux
Faux
Vrai
d. L’implication (« SI… ALORS », notée →)
Est fausse uniquement si la première proposition est vraie et la deuxième est fausse.
Forme : p→qp \rightarrow q
Exemple : p : Il pleut. q : Le sol est mouillé. p → q : Si il pleut, alors le sol est mouillé.
p
q
p → q
Vrai
Vrai
Vrai
Vrai
Faux
Faux
Faux
Vrai
Vrai
Faux
Faux
Vrai
e. La double implication (« SI ET SEULEMENT SI », notée ↔)
Est vraie uniquement si les deux propositions ont la même valeur de vérité.
Forme : p↔qp \leftrightarrow q
Exemple : p : Je travaille dur. q : J’ai de bons résultats. p ↔ q : Je travaille dur si et seulement si j’ai de bons résultats.
p
q
p ↔ q
Vrai
Vrai
Vrai
Vrai
Faux
Faux
Faux
Vrai
Faux
Faux
Faux
Vrai
3. Formes avancées en logique
a. Contraposée
L’implication p→qp \rightarrow q est équivalente à ¬q→¬p\neg q \rightarrow \neg p.
Exemple : Si il pleut, alors le sol est mouillé. Contraposée : Si le sol n’est pas mouillé, alors il ne pleut pas.
b. Négation de l’implication
La négation de p→qp \rightarrow q est p∧¬qp \land \neg q.
Exemple : Si je travaille dur, alors je réussis. Négation : Je travaille dur ET je ne réussis pas.
c. La disjonction exclusive (« OU EXCLUSIF », notée ⊕)
Est vraie si une seule des deux propositions est vraie, mais pas les deux.
Forme : p⊕qp \oplus q
Exemple : p : Je vais à la plage. q : Je vais au parc. p ⊕ q : Je vais à la plage OU au parc, mais pas les deux.
p
q
p ⊕ q
Vrai
Vrai
Faux
Vrai
Faux
Vrai
Faux
Vrai
Vrai
Faux
Faux
Faux
d. Formes quantifiées (logique des prédicats)
Dans la logique des prédicats, des énoncés incluent des quantificateurs :
Quantificateur universel (∀) : « Pour tout. »
Exemple : Pour tout x, x + 0 = x.
Forme : ∀x,P(x)\forall x, P(x).
Quantificateur existentiel (∃) : « Il existe. »
Exemple : Il existe un x tel que x² = 4.
Forme : ∃x,P(x)\exists x, P(x).
4. Applications des formes logiques
a. Mathématiques
Les théorèmes et les preuves utilisent des formes logiques rigoureuses. Exemple : Si a > b et b > c, alors a > c.
b. Informatique
Les algorithmes et conditions dans les programmes sont basés sur des propositions logiques. Exemple : Si un utilisateur est connecté ET qu’il a un abonnement actif, alors il peut accéder au contenu.
c. Philosophie
Les raisonnements philosophiques utilisent la logique pour analyser les arguments. Exemple : Si tout homme est mortel ET Socrate est un homme, alors Socrate est mortel.