A compound proposition that is always true, no matter what the truth values of the propositions that occur in it is called?

A compound proposition that is always true, no matter what the truth values of the propositions that occur in it is called?

ایک کمپاؤنڈ تجویز جو ہمیشہ سچ ہے ، اس سے قطع نظر کہ اس میں پیش آنے والی تجویزات کی سچائی کی قدر کہا جاتا ہے؟
Explanation

A compound proposition that is always true, regardless of the truth values of its components, is called a tautology.

The statement "P ∨ ¬P" (P or not P) is a tautology because it is always true, whether P is true or false.