5,235
edits
Template:Individual-TLP-paragraph-es-6.1221: Difference between revisions
Template:Individual-TLP-paragraph-es-6.1221 (view source)
Revision as of 11:41, 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|6.1221}} | {{ParTLPwrapper-es|{{ParTLP|6.1221}} Si dan como resultado, por ejemplo, dos proposiciones «''p''» y «''q''» en conexión «''p'' ⊃ ''q''» una tautología, entonces está claro que ''q'' se sigue de ''p''. | ||
Si dan como resultado, por ejemplo, dos proposiciones «''p''» y «''q''» en conexión «''p'' ⊃ ''q''» una tautología, entonces está claro que ''q'' se sigue de ''p''. | |||
Que, por ejemplo, «''q''» se sigue de «''p'' ⊃ ''q'' . ''p''», lo deducimos de ambas proposiciones propias, pero podemos también mostrar {{spaced text|así<!-- template:spaced text -->}}, en tanto que las unimos en «''p'' ⊃ ''q'' . ''p'' : ⊃ : ''q''» y ahora mostramos que esto es una tautología. | Que, por ejemplo, «''q''» se sigue de «''p'' ⊃ ''q'' . ''p''», lo deducimos de ambas proposiciones propias, pero podemos también mostrar {{spaced text|así<!-- template:spaced text -->}}, en tanto que las unimos en «''p'' ⊃ ''q'' . ''p'' : ⊃ : ''q''» y ahora mostramos que esto es una tautología. | ||
}} | }} | ||