In mathematical logic, a *sentence* is a well-formed formula (WFF) that does not contain any free variables; in other words, it is a statement that has a definite truth value—either true or false—once the variables are assigned values from a specific interpretation.
Articles by others on the same topic
There are currently no matching articles.