5,235
edits
(Bot: Automated import of articles) |
m (Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-es|{{ParTLP|5.441}} | {{ParTLPwrapper-es|{{ParTLP|5.441}} Esta desaparición de las constantes lógicas aparentes ocurre también cuando «~(∃''x'') . ~''fx''» dice lo mismo que «(''x'') . ''fx''» o «(∃''x'') . ''fx'' . ''x'' <nowiki>=</nowiki> ''a''» lo mismo que «''fa''». | ||
Esta desaparición de las constantes lógicas aparentes ocurre también cuando «~(∃''x'') . ~''fx''» dice lo mismo que «(''x'') . ''fx''» o «(∃''x'') . ''fx'' . ''x'' <nowiki>=</nowiki> ''a''» lo mismo que «''fa''». | |||
}} | }} |