Frase 1: Entón o ecualizador é de novo o dominio enteiro `` X'', xa que a cuantificación universal na definición é vácuamente verdadeira. Frase 2: Entón o ecualizador é de novo o dominio enteiro `` X'', xa que a cuantificación universal é vácuo-adecuado na definición. Pregunta: A frase 1 e a frase 2 expresan o mesmo significado? Si ou non?
- Non.