5,235
edits
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
Line 1: | Line 1: | ||
{{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. | ||