|
Connecteurs logiques sont des symboles qui relient les propositions pour former de nouvelles propositions. Les connecteurs logiques les plus courants sont :
- Conjonction (∧) - Ce connecteur est également connu sous le nom de « et ». Lorsque deux propositions sont conjointes, la proposition résultante est vraie si les deux propositions originales sont vraies, et fausse dans le cas contraire. Par exemple, « Le ciel est bleu ∧ l'herbe est verte » n'est vrai que si le ciel est bleu et l'herbe est verte.
- Disjonction (∨) - Ce connecteur est également connu sous le nom de « ou ». Lorsque deux propositions sont disjointes, la proposition résultante est vraie si l’une des propositions originales est vraie, et fausse dans le cas contraire. Par exemple, « Le ciel est bleu ∨ l'herbe est verte » est vrai si le ciel est bleu ou si l'herbe est verte.
- Négation (¬) - Ce connecteur est également appelé « non ». Lorsqu’une proposition est niée, la proposition résultante est vraie si la proposition originale est fausse, et fausse dans le cas contraire. Par exemple, "¬(le ciel est bleu)" est vrai si le ciel n'est pas bleu.
- Implication (→) - Ce connecteur est également connu sous le nom de « si-alors ». Lorsque deux propositions sont impliquées, la proposition résultante est vraie si l'antécédent (la proposition qui précède le symbole d'implication) est fausse ou si la conséquence (la proposition qui vient après le symbole d'implication) est vraie. Par exemple, "(le ciel est bleu) → (l'herbe est verte)" est vrai si le ciel n'est pas bleu ou si l'herbe est verte.
- Équivalence (↔) - Ce connecteur est également connu sous le nom de « si et seulement si ». Lorsque deux propositions sont équivalentes, la proposition résultante est vraie si les deux propositions originales sont vraies ou si les deux propositions originales sont fausses. Par exemple, "(le ciel est bleu) ↔ (l'herbe est verte)" est vrai si le ciel est bleu et l'herbe est verte ou si le ciel n'est pas bleu et l'herbe n'est pas verte.
Il existe également un certain nombre d'autres connecteurs logiques moins courants, tels que la disjonction exclusive (⊻) et le trait de Sheffer (|).
|
