Title: Definition of Logical Validity