A. The two types of Logic are: Informal Logic-This logic is the study of natural language arguments and the study of invalidity. Formal Logic-The study of logic has inference with formal content. Under formal logic, there is syllogistic logic and symbolic logic.