Exercise
32
[1Y4]Let \(U\) be the set of human beings, \(A\) the set of animals and \(M\) the set of mortal creatures; convert the following syllogism into formulas and prove it:
every man is an animal, every animal is mortal, therefore every man is mortal.