An argument has logical validity in classical propositional logic when no Boolean valuation makes all premises true and the conclusion false: . With no premises, says that is a tautology. See forall x: Calgary, sections 12.4–12.6.
New to topics? Read the docs here!