Definizione
6
[00G] (Svolto il 2022-10-11) Le formule ben formate sono
formule atomiche, cioè composte da una sola variabile, oppure
una formula del tipo \( ¬ (𝛼)\) dove \(𝛼\) è una formula ben formata, oppure
una formula del tipo \( (𝛼) ⇒ (𝛽) \) , oppure
una formula del tipo \( (𝛼) ⇔ (𝛽) \) , oppure
una formula del tipo \( (𝛼) ∨ (𝛽) \) , oppure
una formula del tipo \( (𝛼) ∧ (𝛽) \) ,
dove \(𝛼,𝛽\) sono due formule ben formate.