an argument is sound if it is both valid in form and its premises are true. logical systems are sound if and only if every formula that can be proved in the system is logically valid with respect to the semantics of the system.