Definizione
5
[00D]Una logica proposizionale è un linguaggio, con associato un alfabeto di variabili (che per comodità nel seguito identificheremo con l’alfabeto Italiano) e la famiglia di connettivi 1
\begin{align*} \text{negazione, NOT} & & ¬ \\ \text{congiunzione, AND} & & { ∧ } \\ \text{disgiunzione, OR} & & { ∨ } \\ \text{implicazione} & & ⇒ \\ \text{doppia implicazione, iff} & & ⇔ \end{align*}
a questi simboli aggiungiamo le parentesi, che sono usate per raggruppare parti della formula (quando vi sia il rischio di ambiguità); le parentesi sono omesse quando la precedenza degli operatori lo permette; gli operatori sono elencati nella precedente lista in ordine decrescente di precedenza. 2