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