La lógica es la ciencia formal que estudia la validez de los razonamientos. No te dice qué pensar, te enseña cómo pensar bien. Su pregunta clave no es ¿esto es verdad?, sino ¿esto se deduce bien?. Viene del griego logos, que significa razón o pensamiento.

Piensa en la lógica como un colador para jugo de maracuyá. Echas todo a la jarra: jugo, pepas y cáscara. El colador no crea el jugo ni decide qué fruta usas, solo deja pasar lo bueno y retiene lo malo. La lógica hace lo mismo con tus ideas: no estudia si llueve o no afuera, solo separa los razonamientos bien hechos de los mal hechos. Como un árbitro, no patea la pelota pero vigila que se cumplan las reglas del juego.

Todo razonamiento tiene tres elementos básicos. La proposición es una frase que puede ser verdadera o falsa. La premisa es la proposición de la que partes, tu punto de inicio. La conclusión es la proposición a la que llegas, tu punto de llegada. Cuando unes premisas para obtener una conclusión haces una inferencia, que es el salto de P a C. Su forma general es P1 y P2 entonces se deduce C.

El corazón del concepto es que verdad no es validez. Verdad es de cada proposición sola y puede ser V o F. Validez es del razonamiento completo: si las premisas fueran verdaderas, la conclusión también tendría que serlo. Por eso Todos los gatos vuelan, Tom es un gato, por tanto Tom vuela es válido en su forma aunque sea falso en la realidad.