5,235
edits
Template:Individual-TLP-paragraph-de-6.1264: Difference between revisions
Template:Individual-TLP-paragraph-de-6.1264 (view source)
Revision as of 21:23, 30 October 2022
, 2 years agoBot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)
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.1264}} Der sinnvolle Satz sagt etwas aus, und sein Beweis zeigt, dass es so ist; in der Logik ist jeder Satz die Form eines Beweises. | ||
{{ParTLPde|6.1264}} Der sinnvolle Satz sagt etwas aus, und sein Beweis zeigt, dass es so ist; in der Logik ist jeder Satz die Form eines Beweises. | |||
Jeder Satz der Logik ist ein in Zeichen dargestellter modus ponens. (Und den modus ponens kann man nicht durch einen Satz ausdrücken.) | Jeder Satz der Logik ist ein in Zeichen dargestellter modus ponens. (Und den modus ponens kann man nicht durch einen Satz ausdrücken.) | ||
}} | }} | ||