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. A
valid logical
argument is one in which the
conclusions follow from its
premises, and its conclusions are consequences of its premises. The
philosophical analysis of logical consequence involves asking, 'in what sense does a conclusion follow from its premises?' and 'what does it mean for a conclusion to be a consequence of premises?' All of
philosophical logic can be thought of as providing accounts of the nature of logical consequence, as well as
logical truth.