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