Argument statements0All men are mortal.0Socrates is a man.0Mortal beings are not immortal.ARGUING FOR:2Negative propositions can be proved in formal logic by deriving contradictions between specific entities and specific denied properties.