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.515}} | {{ParTLPwrapper-es|{{ParTLP|5.515}} Se debe mostrar en nuestros símbolos, que lo que está conectado mutuamente mediante «∨», «.», etc. deben ser proposiciones. | ||
Se debe mostrar en nuestros símbolos, que lo que está conectado mutuamente mediante «∨», «.», etc. deben ser proposiciones. | |||
Y este es también el caso, pues el símbolo «''p''» y «''q''» presuponen ya en sí mismos el «∨», «~», etc. Cuando el signo «''p''» en «''p'' ∨ ''q''» no representa un signo complejo, entonces no puede tener sentido solo; pero entonces no podrían tampoco tener ningún sentido los signos «''p'' ∨ ''p''», «''p'' . ''p''», etc., con el mismo sentido que «''p''». | Y este es también el caso, pues el símbolo «''p''» y «''q''» presuponen ya en sí mismos el «∨», «~», etc. Cuando el signo «''p''» en «''p'' ∨ ''q''» no representa un signo complejo, entonces no puede tener sentido solo; pero entonces no podrían tampoco tener ningún sentido los signos «''p'' ∨ ''p''», «''p'' . ''p''», etc., con el mismo sentido que «''p''». | ||
}} | }} |