Maths›03. Logic and Foundations2.5 Validity and EntailmentValidity, semantic entailment, satisfiability, countermodels, and logical consequence in first order logic.