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|6.126}} Ob ein Satz der Logik angehört, kann man berechnen, indem man die logischen Eigenschaften des {{spaced text|Symbols}} berechnet. | ||
{{ParTLPde|6.126}} Ob ein Satz der Logik angehört, kann man berechnen, indem man die logischen Eigenschaften des {{spaced text|Symbols}} berechnet. | |||
Und dies tun wir, wenn wir einen logischen Satz „beweisen“. Denn, ohne uns um einen Sinn und eine Bedeutung zu kümmern, bilden wir den logischen Satz aus anderen nach blossen {{spaced text|Zeichenregeln}}. | Und dies tun wir, wenn wir einen logischen Satz „beweisen“. Denn, ohne uns um einen Sinn und eine Bedeutung zu kümmern, bilden wir den logischen Satz aus anderen nach blossen {{spaced text|Zeichenregeln}}. | ||