Math Problem Solver

Consider the following argument:

If the clock is working, then Alya wakes up early and she will go to work. If the clock is broken,

then she is healthy. Alya will not go to work or she is happy. She is not happy. Therefore she

is healthy.

Declare the primitive proposition in the argument above using symbols p, q, r, s and t.

(2 marks)

Prove the validity of the argument by using the rules of inference and laws of logic.