Example Of Validity And Soundness In Logic