Logical truth

A sentence that is true in all possible circumstances. A sentence that is never false—that is,true by its logical form. So, it is a logical consequence of any set of premises. (See alsoLogical necessity.)