Template:Individual-TLP-paragraph-en-4.1211

4.1211 Thus a proposition “fa” shows that in its sense the object a occurs, two propositions “fa” and “ga” that they are both about the same object.

If two propositions contradict one another, this is shown by their structure; similarly if one follows from another, etc.