Logical term meaning that an argument is valid and its premises are true.