Logical consequence

Logical consequence, often referred to in formal logic as entailment, is a relationship between statements whereby one statement (or set of statements) necessarily follows from another statement (or set of statements). In other words, if a set of premises logically entails a conclusion, then if the premises are true, the conclusion must also be true. In more formal terms, we can express this using symbolic logic.