The standard dictionary definition of a formally valid argument in classical, bivalent, deductive logic proceeds as follows: An argument is valid if it is impossible for all its premises to be true and its conclusion to be false. A valid argument, unlike a sound one, can have false premises or it can have a mixture of true and false premises, but if all of its premises are true, then its conclu...