It is related to the concept of logical truth.

Principle 1 is taken to be a logical truth and (for the most part) uncontroversial.

A statement form is a logical truth if it is true under all interpretations.

He is the logical truth, and will win.

Logical truth is one of the most fundamental concepts in logic, and there are different theories on its nature.

But Schwellenburg would not flatter; she answered with the logical truth.

Not all logical truths are tautologies of such kind.

In fact, here are some other simple logical truths the reaction to both incidents has made it oddly necessary to point out.

Later, with the rise of formal logic a logical truth was considered to be a statement which is true under all possible interpretations.

A logical truth is considered by some philosophers to be a statement which is true in all possible worlds.

Beyond the status of the axioms as logical truths, the questions remained:

If all branches close, the proof is complete and the original formula is a logical truth.

If q is a logical truth, then p therefore q will be a valid argument.

Logical truths, being analytic statements, do not contain any information about any matters of fact.

In this view, logic is the proper foundation of mathematics, and all mathematical statements are necessary logical truths.

"That is a logical truth," I said.

Are there necessary truths that are not logical truths?

The simple equation, the simple, logical truth ringing as a single note of harmony in the discord.

It is a generally recognized view by logicians that this axiom is not a logical truth.

An argument is valid if and only if its corresponding conditional is a logical truth.

In his conclusion, Quine rejects that logical truths are necessary truths.

This is synonymous to logical truth.

Proving a point is an element of debate or argument in which the logical truth of a position is established.

Logical truths (including tautologies) are truths which are considered to be necessarily true.

Other than logical truths, there is also a second class of analytic statements, typified by "No bachelor is married."