Differentiate between formal logic and informal logic.