Template:Individual-TLP-paragraph-fr-5.441
5.441 Cette disparition des constantes logiques apparentes intervient encore avec « ~(∃x) . ~fx » qui dit la même chose que « (x) . fx », ou « (∃x) . fx. x = a » la même chose que « fa ».
5.441 Cette disparition des constantes logiques apparentes intervient encore avec « ~(∃x) . ~fx » qui dit la même chose que « (x) . fx », ou « (∃x) . fx. x = a » la même chose que « fa ».