 The components of a deductive language are a system of formal logic and a knowledge base upon which the logic is applied.Formal logic is the study of inference in regards to formal content.The distinguishing feature between formal and informal logic is that in the former case, the logical rule applied to the content is not specific to a situation.