Analytical consequence

In formal logic, a statement (or sentence) is an analytical consequence of another because of one or more logical features. These logical features are truth-functional connectives, identity, predicate symbol, and quantifier.