It must be recognized in our symbols that what is connected by “ ∨ ”, “ . ”, etc. , must be propositions.