Rules of Inference Assignment

NAME: MANANSALA, JV Angelo M.

COURSE, YEAR & SECTION: BSIT 1A

STEPS REASONS

1. ~t HYPOTHESIS

2. r -> t HYPOTHESIS

3. ~r MT (1,2)

4. r v (p->s) HYPOTHESIS

5. p -> s DS (3,4)

6. ~t -> (s->q) HYPOTHESIS

7. s -> q MP (1,6)

8. p -> q HS (5,7)

THE CONCLUSION IS VALID