n. the property of being able to be deduced as the conclusion of a valid argument within the appropriate system.