Template:Individual-TLP-paragraph-en-4.465

4.465 The logical product of a tautology and a proposition says the same as the proposition. Therefore that product is identical with the proposition. For the essence of the symbol cannot be altered without altering its sense.