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

« 5.44 5.442 »