- Congiunzione (∧) - Questo connettivo è noto anche come "e". Quando due proposizioni sono congiunte, la proposizione risultante è vera se entrambe le proposizioni originali sono vere, falsa altrimenti. Ad esempio, "Il cielo è blu ∧ l'erba è verde" è vero solo se sia il cielo è blu che l'erba è verde.
- Disgiunzione (∨) - Questo connettivo è noto anche come "o". Quando due proposizioni sono disgiunte, la proposizione risultante è vera se una delle proposizioni originali è vera, falsa altrimenti. Ad esempio, "Il cielo è blu ∨ l'erba è verde" è vero se il cielo è blu o l'erba è verde.
- Negazione (¬) - Questo connettivo è detto anche "non". Quando una proposizione viene negata, la proposizione risultante è vera se la proposizione originale è falsa, falsa altrimenti. Ad esempio, "¬(il cielo è blu)" è vero se il cielo non è blu.
- Implicazione (→) - Questo connettivo è noto anche come "se-allora". Quando due proposizioni sono implicate, la proposizione risultante è vera se l’antecedente (la proposizione che viene prima del simbolo di implicazione) è falso o il conseguente (la proposizione che viene dopo il simbolo di implicazione) è vero. Ad esempio, "(il cielo è blu) → (l'erba è verde)" è vero se il cielo non è blu o se l'erba è verde.
- Equivalenza (↔) - Questo connettivo è detto anche "se e solo se". Quando due proposizioni sono equivalenti, la proposizione risultante è vera se entrambe le proposizioni originali sono vere o entrambe le proposizioni originali sono false. Ad esempio, "(il cielo è blu) ↔ (l'erba è verde)" è vero se sia il cielo è blu che l'erba è verde o se entrambi il cielo non è blu e l'erba non è verde.
Esistono anche una serie di altri connettivi logici meno comuni, come la disgiunzione esclusiva (⊻) e il tratto Sheffer (|).
Domanda © www.354353.com