A conclusion is formally derivable from premises when a permitted formal proof exists with those premises as its undischarged assumptions. This is a syntactic relation, distinct from semantic entailment.
New to topics? Read the docs here!
New to topics? Read the docs here!