A proposition is frequently defined as a statement that has one and only one truth value.
By themselves, "$x$ is an integer," "$1 < x < 3$," and "$x^2 = 4$" are not propositions because they may be true or false depending on the value of $x.$
Can someone explain why the conjunction of these three is considered a proposition?
Many thanks!
Best Answer
One thing that may be considered a proposition is the slightly different combination
Formally, at least if we interpret "if--then" as denoting material implication, this is still a claim with a free variable, and therefore would not count as a "proposition" under the definition you quote -- no matter that its truth value happens to be "true" no matter what you plug in for $x$.
On the other hand, in informal mathematical speech, "if--then" not only encodes material implication but also tends to give you a universal quantification for free. (But it's up to the reader/listener to figure out which variables are quantified if there are more than one that appears in both the assumption and the conclusion). In this way, the above sentence can be used as an abbreviated form of
This has no free variables and would therefore satisfy your definition of "proposition".