A logical truth is a statement which is true, and remains true under all reinterpretations of its components other than its logical constants.
En logisk sandhed er en dom, der er sand og forbliver sand i alle genfortolkninger af dens komponenter, der ikke er dens logiske konstant.