What Is Categorical Proposition In Logic