Logic

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths.

Extends: [Formal sciences](https://wikipedia.org.ai/Formal sciences), Logic