well-formed formula
finite sequence of symbols from a given alphabet that is part of a formal language
sentence
in mathematical logic, a well-formed formula with no free variables
open formula
formula that contains at least one free variable
propositional formula
type of logical formula in the propositional logic
canonical normal form
concept in Boolean algebra
atomic formula
mathematical logic concept