Formalize the following argument by using the given predicates and then

rewriting the argument as a numbered sequence of statements. Identify

each statement as either a premise, or a conclusion that follows according

to a rule of inference from previous statements. In that case, state the

rule of inference and refer by number to the previous statements that the

rule of inference used.

(a) (3 points) Everybody who is at least 16 years old can get driver li-

cence. Azul does not have a driver licence yet. Therefore, Azul is

less than 16 years old.

Predicates: S(x)= x is at least 16 years old, D(x)=x can get a driver

licence". The domain of discourse is all people.

(b) (4 points) Dogs bark at cats. Max is a dog. Moonbeam is a cat.

Therefore, Max barks at Moonbeam

Predicates: B(x,y)="x barks at y", D(x)="x is a dog" and C(x)="x

is a cat". The domain of discourse is all animals.