Stelling 1: Dan is die gelykmaker weer die hele domein `` X '', aangesien die universele kwantifikasie in die definisie vakuum-geskik is. Sin 2: Dan is die gelykmaker weer die hele domein `` X'', aangesien die universele kwantifikasie in die definisie vacuously waar is. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Ja, ek het