HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 6.1201

6.1201

Daß z.B. die Sätze "p" und "~p" in der Verbindung "~p . ~p" eine Tautologie ergeben, zeigt, daß sie einander widersprechen. Daß die Sätze "p  q", "p" und "q" in der Form "(p  q) . (p) : : (q)" miteinander verbunden eine Tautologie ergeben, zeigt, daß q aus p und p  q folgt.

Daß "(x) . fx :: fa" eine Tautologie ist, daß fa aus (x) . fx folgt, etc. etc.

HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 6.1201