Logical truth

Statement that is true regardless of the truth or falsity of its constituent propositions From Wikipedia, the free encyclopedia