if the statement “ if the sun is shining then it’s not raining “ is assumed to be true is it’s reverse “ if it’s not raining then the sun must be shining “ also always true?