In logic and deductive reasoning, an argument is sound if it is both valid in form and its premises are true. Wikipedia