TOPIC: Rules of inference with quanitifers

Use the laws of logic to prove the conclusion from the hypotheses. Give propositions and predicate variable names in your proof. Use the set of all students as the domain of discourse. The hypotheses are:

- Larry and Hubert are taking Boolean Logic. - Any student who takes Boolean Logic can take Algorithms.

Conclude that Larry and Hubert can take Algorithms.