A statement form is a logical truth if it is true under all interpretations.
Tvirtinimo forma yra logiška tiesa, jei tai teisinga su visomis interpretacijomis.