5.441

This disappearance of the apparent logical constants also occurs if “~(∃x).~fx” says the same as “(x).fx”, or “(∃x).fx.x=a” the same as “fa”.

« 5.44 5.442 »