### Chinese: 逻辑通常包括三个部份：归纳推理、溯因推理和演绎推理，可分为形式逻辑和非形式逻辑。
### English: Logic usually includes three parts: inductive reasoning, abductive reasoning and deductive reasoning, which can be divided into <v>formal</v> logic and informal logic.

### Improved English: Logic usually includes three parts: inductive reasoning, abductive reasoning and deductive reasoning, which can be divided into formal logic and informal logic.
