cuando una oracion es transitiva
Una relación binaria formula_1 sobre un conjunto formula_2 es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.