Logical consequence (also entailment) is one of the most fundamental concepts in logic. It is the relationship between statements that holds true when one logically “follows from” one or more others. Valid logical arguments are ones in which the conclusions follow from its premises, and its conclusions are consequences of its premises.