what are the true statements?
A logical truth is a statement which is true, and remains true under all reinterpretations of its components other than its logical constants. It's a type of analytic statement.
