In logic, an argument is valid if and only if its conclusion is logically entailed by its premises and each step in the argument is logical. A formula is valid if and only if it is true under every interpretation, and an argument form (or schema) is valid if and only if every argument of that logical form is valid.