Text this: Consistencia, validez y completitud de un sistema proposicional de lógica temporal