Definition of Valid Reasoning