Frase 1: Quindi l' equalizzatore è di nuovo l'intero dominio `` X '', dal momento che la quantificazione universale nella definizione è adatta al vuoto. Frase 2: Allora l' equalizzatore è di nuovo l' intero dominio `` X'', dato che la quantificazione universale nella definizione è vacuamente vera. Domanda: La frase 1 e la frase 2 esprimono lo stesso significato? - Sì o no?
Si ', si '.