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