Types Of Categorical Proposition In Logic