Ex2. All mammals are animals. Some animals are two-legged. Therefore, Some animals are two-legged.

Using this prepositions M(x), A(x) and T(x) as defined below and quantifiers write the above argument into logical statement and determine whether it is valid or not. Starting the chain of inference:

A(x): x is an animal

M(x):x is a mammals

T(x): x is two-legged