which is true when
is false, and false when
is true. It is convenient to speak of the truth of a proposition, or its falsehood, as its "truth-value"[33]; i.e. truth is the "truth-value" of a true proposition, and falsehood of a false one. Thus not
has the opposite truth-value to
.
[33]This term is due to Frege.