5,235
edits
m (Bot: Adding {{ParTLPwrapper-de|) |
m (Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | {{ParTLPwrapper-de|{{ParTLPde|5.515}} Es muss sich an unseren Symbolen zeigen, dass das, was durch „∨“, „''.''“, etc. miteinander verbunden ist, Sätze sein müssen. | ||
{{ParTLPde|5.515}} Es muss sich an unseren Symbolen zeigen, dass das, was durch „∨“, „''.''“, etc. miteinander verbunden ist, Sätze sein müssen. | |||
Und dies ist auch der Fall, denn das Symbol „''p''“ und „''q''“ setzt ja selbst das „∨“, „∼“, etc. voraus. Wenn das Zeichen „''p''“ in „''p''∨ ''q''“ nicht für ein komplexes Zeichen steht, dann kann es allein nicht Sinn haben; dann können aber auch die mit „''p''“ gleichsinnigen Zeichen „''p'' ∨ ''p''“, „''p . p''“, etc. keinen Sinn haben. Wenn aber „''p'' ∨ ''p''“ keinen Sinn hat, dann kann auch „''p'' ∨ ''q''“ keinen Sinn haben. | Und dies ist auch der Fall, denn das Symbol „''p''“ und „''q''“ setzt ja selbst das „∨“, „∼“, etc. voraus. Wenn das Zeichen „''p''“ in „''p''∨ ''q''“ nicht für ein komplexes Zeichen steht, dann kann es allein nicht Sinn haben; dann können aber auch die mit „''p''“ gleichsinnigen Zeichen „''p'' ∨ ''p''“, „''p . p''“, etc. keinen Sinn haben. Wenn aber „''p'' ∨ ''p''“ keinen Sinn hat, dann kann auch „''p'' ∨ ''q''“ keinen Sinn haben. | ||
}} | }} |