Text this: Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional