Sentința 1: Atunci ecualizatorul este din nou întregul domeniu `` X '', deoarece cuantificarea universală din definiție este adevărată în mod vacuu. Fraza 2: Atunci ecualizatorul este din nou întregul domeniu `` X '', deoarece cuantificarea universală este adecvată pentru vid în definiție. Întrebare: Fraza 1 şi fraza 2 exprimă aceeaşi semnificaţie? Da sau nu?
Nu, nu.