Definition
Valid Argument
An argument with premises
and conclusion is valid if every interpretation making all premises true also makes the conclusion true: Here
denotes entailment. Validity does not require the premises to be actually true; it rules out true premises with a false conclusion.