5,235
edits
(Bot: Automated import of articles) |
m (Bot: Adding - }}) |
||
Line 1: | Line 1: | ||
{{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. | ||
}} |