EDB — 00G

[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.