5,235
edits
Template:Individual-TLP-paragraph-de-6.1221: Difference between revisions
Template:Individual-TLP-paragraph-de-6.1221 (view source)
Revision as of 21:21, 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.1221}} Ergeben z. B. zwei Sätze „''p''“ und „''q''“ in der Verbindung „''p'' ⊃ ''q''“ eine Tautologie, so ist klar, dass ''q'' aus ''p'' folgt. | ||
{{ParTLPde|6.1221}} Ergeben z. B. zwei Sätze „''p''“ und „''q''“ in der Verbindung „''p'' ⊃ ''q''“ eine Tautologie, so ist klar, dass ''q'' aus ''p'' folgt. | |||
Dass z. B. „''q''“ aus „''p'' ⊃ ''q . p''“ folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch {{spaced text|so}} zeigen, indem wir sie zu „''p'' ⊃ ''q . p'' : ⊃ : ''q''“ verbinden und nun zeigen, dass dies eine Tautologie ist. | Dass z. B. „''q''“ aus „''p'' ⊃ ''q . p''“ folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch {{spaced text|so}} zeigen, indem wir sie zu „''p'' ⊃ ''q . p'' : ⊃ : ''q''“ verbinden und nun zeigen, dass dies eine Tautologie ist. | ||
}} | }} | ||