Logical truth

Statement that is true regardless of the truth or falsity of its constituent propositions