The concepts of validity and soundness in predicate logic, and how to determine if a statement is valid or sound.