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“.