"To start with, we shall concern ourselves with the simplest two judgments A is a proposition and A is true, abbreviated as A prop and A true respectively." . . . . .