A priori Logical propositions are such as can be known a priori without study of the actual world.
or simply: