5,235
edits
Template:Individual-TLP-paragraph-es-5.532: Difference between revisions
Template:Individual-TLP-paragraph-es-5.532 (view source)
Revision as of 11:31, 1 November 2022
, 2 years agoBot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )
(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.532}} | {{ParTLPwrapper-es|{{ParTLP|5.532}} Y análogamente: no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'') . ''f'' (''x'', ''x'')»; y no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ~''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'', ''y'') . ''f'' (''x'', ''y'')». | ||
Y análogamente: no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'') . ''f'' (''x'', ''x'')»; y no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ~''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'', ''y'') . ''f'' (''x'', ''y'')». | |||
(Entonces, en lugar de la russelliana «(∃''x'', ''y'') . ''f'' (''x'', ''y'')»: «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ∨ . (∃''x'') . ''f'' (''x'', ''x'')»). | (Entonces, en lugar de la russelliana «(∃''x'', ''y'') . ''f'' (''x'', ''y'')»: «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ∨ . (∃''x'') . ''f'' (''x'', ''x'')»). | ||
}} | }} | ||