Sentència 1: Llavors l' equalizator és de nou tot el domini `` X'', ja que la quantificació universal en la definició és vacuament veritable. Sentència 2: Llavors l' equalizer és de nou tot el domini `` X'', ja que la quantificació universal és adequada al buit en la definició. Pregunta: La frase 1 i la frase 2 expressen el mateix significat? Sí o no?
No, no.