O más correctamente, ya que los enunciados T definen la verdad para enunciados cerrados – es decir aquellos que no tienen variables libres: