Logical consequence

Logical consequence is the relation that holds between a set of sentences and a sentence when the latter "follows from" the former. A formal defined logical consequence relation can be characterized semantically or proof-theoretically. Logical consequence can also be expressed as a function from sets of sentences to sets of sentences (Tarski's preferred formulation), or as a relation between sets of sentences and sets of sentences (multiple-conclusion logic).