Does the concept of inference (idea that if propositions are true the conclusion must be true) apply only to formal logic and not to informal logic?
