Logical necessity

A sentence that is true in all possible circumstances. A sentence that is never false—that is, asentence true by its logical form and, therefore, a logical consequence of any set of premises.(See also Logical truth.)