Analytic truth

Both demonstrably and necessarily true, owing to the logical form of the sentence or the meanings of its component words.