Fórmulas

El conjunto de fórmulas de L (leng de 1er orden) cumple: - Si Pk es un símbolo de predicado y t1,...,tk son términos ---> Pk(t1,...,tk) es una fórmula - Si α, β son fórmulas ---> (α^β), (αvβ), (α->β), ¬α son fórmulas -Si α es fórmula y xi∈Var ---> ∀xiα, ∃xiα son formulas