“Some living beings are human” entails all the rest are not human.Propositions: Categorical and Conditional Forms