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

Template:Individual-TLP-paragraph-es-6.1201 (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|6.1201}}
+{{ParTLPwrapper-es|{{ParTLP|6.1201}} Que, por ejemplo, las proposiciones «''p''» y «~''p''» en la conexión «~(''p''.~''p'')» den como resultado una tautología muestra que se contradicen mutuamente. Que las proposiciones «''p'' ⊃ ''q''», «''p''» y «''q''» en la forma «(''p'' ⊃ ''q'').(''p'') : ⊃ : (''q'')» unidas entre sí den como resultado una tautología muestra que ''q'' se sigue de ''p'' y ''p'' ⊃ ''q''. Que «(''x'') . ''fx'' : ⊃ : ''fa''» sea una tautología, que ''fa'' se siga de (''x'') . ''fx''. Etc. etc.
-Que, por ejemplo, las proposiciones «''p''» y «~''p''» en la conexión «~(''p''.~''p'')» den como resultado una tautología muestra que se contradicen mutuamente. Que las proposiciones «''p'' ⊃ ''q''», «''p''» y «''q''» en la forma «(''p'' ⊃ ''q'').(''p'') : ⊃ : (''q'')» unidas entre sí den como resultado una tautología muestra que ''q'' se sigue de ''p'' y ''p'' ⊃ ''q''. Que «(''x'') . ''fx'' : ⊃ : ''fa''» sea una tautología, que ''fa'' se siga de (''x'') . ''fx''. Etc. etc.
 }}