永真公式

_

always true formula, identically true formula, valid formula