Primero, construimos enunciados "T" para verdades lógicas.