lógica de inferencia temporal Synonym