Question

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⊃qfolgt. Dass „(x).fx:⊃:fa“ eine Tautologie ist, dass fa aus (x).fx folgt. etc. etc.

Accepted Answer

That e.g. the propositions “p” and “~p” in the connexion “~(p.~p)” give a tautology shows that they contradict one another. That the propositions “p⊃q”, “p” and “q” connected together in the form “(p⊃q).(p):⊃:(q)” give a tautology shows that q follows from p and p⊃q. That “(x).fx:⊃:fa” is a tautology shows that fa follows from (x).fx, etc. etc.

Front	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⊃qfolgt. Dass „(x).fx:⊃:fa“ eine Tautologie ist, dass fa aus (x).fx folgt. etc. etc.
Back	That e.g. the propositions “p” and “~p” in the connexion “~(p.~p)” give a tautology shows that they contradict one another. That the propositions “p⊃q”, “p” and “q” connected together in the form “(p⊃q).(p):⊃:(q)” give a tautology shows that q follows from p and p⊃q. That “(x).fx:⊃:fa” is a tautology shows that fa follows from (x).fx, etc. etc.

Dass Eine Tautologie Tautology Shows Die Sätze P