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