5.441 Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „∼(∃x) .fx“ dasselbe sagt wie „(x) . fx“, oder „(∃x) . fx . x = a“ dasselbe wie „fa“.