There seems at first sight to be a certain ambiguity in what is meant by saying that a proposition is ‘true’, owing to the fact that it seems as if in the case of different propositions the way in which they correspond to the facts to which they correspond is quite different. But what is really common to all cases is that they must have the general form of a proposition. In giving the general form of a proposition you are explaining what kind of way of putting together the symbols of things & relations will correspond to (be analogous to) the things having those relations in reality. In doing this you are saying what is meant by saying that a proposition is true; & you must do it once for all. To say “This proposition has sense” means ““This proposition is true” means … ” (“p” is true = “p” . p . Def. : only instead of “p”, we must have introduced the general form of a proposition.)