Si el predicado "verdadero" se define como una redundancia trivial y se elimina de las últimas oraciones citadas, el resultado no equivale a una oración.