*** Welcome to piglix ***

Open formula


An open formula is a formula that contains at least one free variable. Some educational resources use the term "open sentence", but this use conflicts with the definition of "sentence" as a formula that does not contain any free variables.



...
Wikipedia

...