Question

Dass z. B. „q“ aus „p⊃q.p“ folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch so zeigen, indem wir sie zu „p⊃q.p:⊃:q“ verbinden und nun zeigen, dass dies eine Tautologie ist.

Accepted Answer

E.g. that “q” follows from “p⊃q.p” we see from these two propositions themselves, but we can also show it by combining them to “p⊃q.p:⊃:q” and then showing that this is a tautology.

Front	Dass z. B. „q“ aus „p⊃q.p“ folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch so zeigen, indem wir sie zu „p⊃q.p:⊃:q“ verbinden und nun zeigen, dass dies eine Tautologie ist.
Back	E.g. that “q” follows from “p⊃q.p” we see from these two propositions themselves, but we can also show it by combining them to “p⊃q.p:⊃:q” and then showing that this is a tautology.

Wir Dass Aus Z. B Q P⊃Q.P Folgt Ersehen