Thus a proposition “ f a ” shows that in its sense the object a occurs, two propositions “ f a ” and “ g a ” 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.