Text this: Algunas propiedades formales de un sistema deductivo con interrogaciones