HOME TOP UP PREV NEXT 1 GERMAN MAP      Tractatus Logico-Philosophicus 5.124

5.124

A proposition asserts every proposition which follows from it.

5.1241

"p . q" is one of the propositions which assert "p" and at the same time one of the propositions which assert "q".

Two propositions are opposed to one another if there is no significant proposition which asserts them both.

Every proposition which contradicts another, denies it.