Template:Individual-TLP-paragraph-es-5.1311: Difference between revisions

Template:Individual-TLP-paragraph-es-5.1311 (view source)

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-es|{{ParTLP|5.1311}}
+{{ParTLPwrapper-es|{{ParTLP|5.1311}} Si de ''p'' ∨ ''q'' y ~''p'' deducimos ''q'', entonces está aquí oculta mediante la forma de designación la relación de las formas proposicionales de «''p'' ∨ ''q''» y «~''p''». Sin embargo, si, por ejemplo, en lugar de «''p'' ∨ ''q''» escribimos «''p'' {{!}} ''q'' . {{!}} . ''p'' {{!}} ''q''», y en lugar de «~''p''» [escribimos] «''p'' {{!}} ''p''» (''p'' {{!}} ''p'' <nowiki>=</nowiki> ni ''p'' ni ''q''), entonces se vuelve clara la relación interna.
-Si de ''p'' ∨ ''q'' y ~''p'' deducimos ''q'', entonces está aquí oculta mediante la forma de designación la relación de las formas proposicionales de «''p'' ∨ ''q''» y «~''p''». Sin embargo, si, por ejemplo, en lugar de «''p'' ∨ ''q''» escribimos «''p'' {{!}} ''q'' . {{!}} . ''p'' {{!}} ''q''», y en lugar de «~''p''» [escribimos] «''p'' {{!}} ''p''» (''p'' {{!}} ''p'' <nowiki>=</nowiki> ni ''p'' ni ''q''), entonces se vuelve clara la relación interna.
 (Que de (''x'') . ''fx'' se pueda deducir ''fa'', eso muestra que la generalidad está contenida también en el símbolo «(''x'') . ''fx''»).
 }}