永真公式

[yǒng zhēn gōng shì]

• identically true formula
• valid formula
• always true formula