Frazo 1: Tiam la ekvalizilo estas denove la tuta domajno `` X '', ĉar la universala kvantigado en la difino estas vakuo-taŭga. Frazo 2: Tiam la ekvalizilo estas denove la tuta domajno `` X'', ĉar la universala kvantigado en la difino estas malplene vera. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Jes