Observando as afirmações:

I) Se todo X é igual a Y, então todo Y é igual a X.

II) Se todo X é Y e se todo Y é Z, então todo X é Z.

III) Se todo A é B e todo C é B, então pode haver A que é C.

Pode-se afirmar que são corretas: