Construct a Deductively Valid Argument/Deductive Logic