formal proposition
nounDefinition of formal proposition
: a proposition in which no specific content is designated or a principle is stated in the manner of a formula (as “if all A is B, then no A is not B”)