In mathematics, an open sentence is a sentence in which there are specific numbers which, when used to replace the variables, will allow the resulting expression to evaluate to true. Such replacements are known as solutions to the sentence. An identity is an open sentence for which every number is a solution.
Examples of open sentences include:
- 3x - 9 = 21, whose only solution for x is 10;
- 4x + 3 > 9, whose solutions for x are all numbers greater than 3/2;
- x + y = 0, whose solutions for x and y are all pairss of numbers that are additive inversess;
- 3x + 9 = 3(x + 3), whose solutions for x are all numbers.
Every open sentence must have (usually implicitly) a universe of discourse describing which numbers are under consideration as solutions. For instance, one might consider all real numbers or only integers. For example, in example 2 above, 5/2 is a solution if the universe of discourse is all real numbers, but not if the universe of discourse is only integers. In that case, only the integers greater than 3/2 are solutions: 2, 3, 4, and so on. On the other hand, if the universe of discourse consists of all complex numbers, then example 2 doesn't even make sense (although the other examples do). An identity is only required to hold for the numbers in its universe of discourse.
This same universe of discourse can be used to describe the solutions to the open sentence in symbolic logic using universal quantification. For example, the solution to example 2 above can be specified as:
- For all x, 4x + 3 > 9 if and only if x > 3/2.
The idea can even be generalised to situations where the variables don't refer to numbers at all, as in a functional equation. For example of this, consider
- f * f = f,
See also: compound sentence