In Exercises, write the given argument in symbolic form (use the underlined letters...

In Exercises, write the given argument in symbolic form (use the underlined letters to represent the statements containing them), then decide whether it is valid or not, If it is valid, name the validating tautology. HINT [See Quick Examples on pages A12,A13,A14.]

If I am not hungry, then I certainly am not thirsty either. I am not thirsty, and so I cannot be hungry.

Reference: