concepto aristotélico de la lógica a partir del silogismo " si a pertenece a b y b pertenece a c entonces a pertenece a c