EDB β€” 00G

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Definition 6

[00G] (Solved on 2022-10-11) Well-formed formulas are

  • atomic formulas, i.e. composed of a single variable, or

  • a formula of the type \( Β¬ (𝛼)\) where \(𝛼\) is a well-formed formula, or

    • a formula of the type \( (𝛼) β‡’ (𝛽) \) , or

    • a formula of the type \( (𝛼) ⇔ (𝛽) \) , or

    • a formula of the type \( (𝛼) ∨ (𝛽) \) , or

    • a formula of the type \( (𝛼) ∧ (𝛽) \) ,

    where \(𝛼,𝛽\) are two well-formed formulas.

Download PDF
Bibliography
Book index
  • formula, well-formed β€”
  • well-formed formula , see formula, well-formed
  • atom
  • formula, atomic
Managing blob in: Multiple languages
This content is available in: Italian English