Validity, Truth, and Soundness in Logical Syllogisms