5,235
edits
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | |||
{{ParTLPde|6.1201}} Dass z. B. die Sätze „''p''“ und „∼''p''“ in der Verbindung „∼(''p.''∼''p'')“ eine Tautologie ergeben, zeigt, dass sie einander widersprechen. Dass die Sätze „''p'' ⊃ ''q''“, „''p''“ und „''q''“ in der Form „(''p'' ⊃ ''q'')''.''(''p'') : ⊃ : (''q'')“ miteinander verbunden eine Tautologie ergeben, zeigt, dass ''q'' aus ''p'' und ''p'' ⊃ ''q'' folgt. Dass „(''x'') ''. fx'' : ⊃ : ''fa''“ eine Tautologie ist, dass ''fa'' aus (''x'') ''. fx'' folgt. etc. etc. | {{ParTLPde|6.1201}} Dass z. B. die Sätze „''p''“ und „∼''p''“ in der Verbindung „∼(''p.''∼''p'')“ eine Tautologie ergeben, zeigt, dass sie einander widersprechen. Dass die Sätze „''p'' ⊃ ''q''“, „''p''“ und „''q''“ in der Form „(''p'' ⊃ ''q'')''.''(''p'') : ⊃ : (''q'')“ miteinander verbunden eine Tautologie ergeben, zeigt, dass ''q'' aus ''p'' und ''p'' ⊃ ''q'' folgt. Dass „(''x'') ''. fx'' : ⊃ : ''fa''“ eine Tautologie ist, dass ''fa'' aus (''x'') ''. fx'' folgt. etc. etc. | ||
}} | }} |