He also
formulates the axiom upon which inference rests, that "if A
is predicated universally of B and B of C, A is necessarily predicated
universally of C.
formulates the axiom upon which inference rests, that "if A
is predicated universally of B and B of C, A is necessarily predicated
universally of C.
Aristotle by A. E. Taylor
