La lógica es la ciencia que estudia los principios formales del conocimiento y los métodos de razonamiento. Examina el lenguaje, las proposiciones, y las operaciones lógicas como la conjunción, disyunción, negación, condicional y bicondicional. También explora diferentes ramas de la lógica como la tradicional, formal, simbólica y matemática.