¿Qué es la lógica?

La lógica es una ciencia formal, que forma parte de la filosofía y de las matemáticas. Se centra en el estudio de los
procedimientos válidos y no válidos de pensamiento, es decir, en procesos como la demostración, la inferencia o la
deducción, así como en conceptos como las falacias, las paradojas y la verdad.

La lógica es una disciplina sumamente antigua, nacida de manera independiente entre los pensadores de las grandes
civilizaciones clásicas y antiguas, como la china, la griega o la india. Desde sus inicios, se la comprendió como una forma
de juzgar el pensamiento para comprobar su validez formal, o sea, para reconocer cuál es el procedimiento ideal de
razonamiento, aquel que conduzca realmente a la verdad.

Sin embargo, a partir del siglo XX se la ha considerado como un campo más afín a la matemática, a medida que las
aplicaciones de esta última cobraron una gran importancia industrial, social y tecnológica.

Características principales de la lógica

1- Los resultados de la lógica son válidos o inválidos

La lógica consiste en razonar para producir argumentos. Dichos argumentos son evaluados en términos de validez.

Esto quiere decir que desde el punto de vista de la lógica, no existen argumentos correctos o incorrectos, sino válidos o
inválidos.

2- Puede ser deductiva, inductiva, abductiva o analógica

La lógica sigue una serie de patrones para producir razonamientos válidos. Estos patrones son la deducción, la inducción,
la abducción y la analogía.

Cada uno de tres modelos se aplica de acuerdo con las circunstancias del contexto comunicativo.

Lógica deductiva

La lógica deductiva es aquella en la que se extrae una conclusión a partir de dos premisas. De estas dos premisas, la
primera representa una proposición universal (porque es general) y la segunda es una declaración específica (porque es
particular).

La validez de los resultados de la lógica deductiva depende de la veracidad de las premisas que sirven de base. Si las
premisas son inválidas, entonces la conclusión también lo será.

El ejemplo tradicional de este tipo de lógica es el siguiente:

-Todos los seres humanos son mortales.

-Aristóteles es un ser humano.

-Entonces Aristóteles es mortal.

Lógica inductiva

La lógica inductiva consiste en el proceso opuesto a la lógica deductiva. En términos generales, este tipo de lógica busca
extraer premisas a partir de una conclusión ya existente.

Es decir, este tipo de lógica supone premisas que apoyen una conclusión observable. De este modo, las premisas
obtenidas pueden ser probables y aceptables pero no completamente ciertas.

A continuación, se presenta un ejemplo de lógica inductiva:

-Conclusión observable: El cachorro duerme en la casa en los días lluviosas.

-Premisa: Cada vez que llueve, el cachorro duerme en la casa.

Lógica abductiva

Este tipo de lógica se asemeja a la lógica inductiva, ya que busca extraer premisas a partir de una conclusión.

La diferencia entre estos dos procesos es que la abducción ofrece la mejor explicación posible para la conclusión que se
presenta. Sin embargo, los resultados pueden ser incorrectos.

Por ejemplo:

-Las luces del cuarto de mi hermana están encendidas. Entonces ella debe de estar despierta.

Analogía

Este proceso lógico se da cuando se establecen relaciones de semejanza entre una situación que se está observando y
otra que se conoce.

Por ejemplo: El gato de mi amigo está arañando la puerta de la casa. Cuando mi gato quiere salir a pasear, araña la
puerta de mi casa. Quizás el gato de mi amigo quiere salir a pasear.

3- La lógica puede ser formal e informal

La lógica se divide en dos ramas principales: la lógica formal y la lógica informal.

La lógica formal es filosófica y tradicional. Se encarga de estudiar los argumentos deductivos, aquellos en los que se
recurre a la inferencia para extraer conclusiones.

Por su parte, la lógica informal es la que se encarga de estudiar los argumento expresados en el lenguaje natural
(cotidiano y no especializado).

Se enfoca en el análisis de los razonamientos que se pueden encontrar en conversaciones con los amigos, anuncios
publicitarios, artículos de periódico, noticias, entre otros.

4- Los enunciados lógicos no se contradicen

La lógica se rige por el principio de la no contradicción. Este establece que dos proposiciones contradictorias no pueden
ser válidas al mismo tiempo. Es decir, no se puede ser y no ser de manera simultánea.

Tomemos en cuenta las siguientes proposiciones:

-El cuadrado tiene cuatro lados.

-El cuadrado tiene cinco lados.

Cuando se presentan dos enunciados contradictorios, necesariamente uno debe ser inválido. En este caso, la segunda
proposición es inválida, ya que se opone a la lógica matemática.

5- Tercero excluido

La lógica se caracteriza por el principio del tercero excluido. Este principio se basa en la lógica clásica, que establece que
una proposición puede ser solamente verdadera o falsa, sin la posibilidad de la existencia de una tercera opción.

Este principio se relaciona con el de la no contradicción. Mientras que el principio de no contradicción establece que dos
proposiciones contradictorias no pueden ser verdaderas al mismo tiempo, el de tercero excluido señala que ambas
proposiciones contradictorias no pueden ser falsas. Por fuerza, una debe ser verdadera.

6- La validez de las proposiciones se evalúa tomando en cuenta ciertas modalidades

Existen diversas modalidades que la lógica toma en cuenta al momento de decidir si una proposición es válida o no.
Entre estas destacan:

– La diferencia temporal: algunas proposiciones eran falsas en el pasado pero ahora son ciertas en el presente, y
viceversa.

– La diferencia epistemológica: en algunos casos, se sabe que las proposiciones son ciertas o falsas. En otros casos, se
cree que las proposiciones son ciertas o no.

7- Los enunciados lógicos son unidades

Los enunciados lógicos, ya sean deductivos, inductivos, abductivos o analógicos, representan una unidad. Por lo tanto,
no pueden ser divididos.

Esta característica es defendida por la lógica proposicional. Esta rama de la lógica establece que dividir los enunciados
simples, aquellos que están formados por dos premisas y una conclusión, sería un error, ya que le restaría sentido a la
proposición.

Las tablas de la verdad

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos como: no, o, y, si…
entonces, sí y sólo si. La interpretación corresponde al sentido que estas operaciones tienen dentro del
razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la
deducción lógico matemática. En consecuencia, las tablas de verdad constituyen un método de decisión
para chequear si una proposición es o no un teorema. Para la construcción de la tabla se asignará el
valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.

 Negación: El valor de verdad de la negación es el contrario de la proposición negada.

 La conjunción sirve para indicar que se cumplen dos condiciones simultáneamente, por ejemplo:

La función es creciente y está definida para los números positivos, utilizamos Para que la conjunción p^q
sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se
indica por su tabla de verdad.

 Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.

Con la disyunción a diferencia de la conjunción, se representan dos expresiones que afirman que una de
las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión p ∨ q
sea verdadera.

 Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el

consecuente es falso. De la verdad no se puede seguir la falsedad.

P Q PVQ

1 1 1
 1 0 1

1 1 1

0 0 0

 Bicondicional:El bicondicional solamente es cierto si sus componentes tienen el mismo valor de

verdad.

P Q P®Q

1 1 1

1 0 1

1 1 1

0 0 1

Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus

componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por
unos. Contradicción es la negación de una tautología, luego es una proposición falsa cualesquiera sea
el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción
estará formada únicamente por ceros.

Tablas de verdad trivalentes

Disyunción

Las tablas de verdad tradicionales pueden rescribirse si se dejan vacías casillas en las que el valor de
verdad de la fórmula atómica es irrelevante, por ejemplo, la tabla de la disyunción:
Las primeras dos líneas señalan que no importa cuál sea el valor de verdad de uno de los disyuntos,
siempre que el otro sea verdadero, la disyunción será verdadera. De la misma manera, se podría abreviar
la tabla de la conjunción de la siguiente manera:

Conjunción

Las últimas dos líneas señalan que no importa cuál sea el valor de verdad de uno de los disyuntos,
siempre que el otro sea falso, la conjunción será falsa. La ventaja de este tipo de tablas es que permiten
extenderse de manera muy natural para permitir un tercer valor de verdad que no sea ni verdadera ni
falso. Será llamado “I” por “indeterminado”. Ahora se puede usar la tabla abreviada de la disyunción
clásica para desarrollar una tabla de verdad (no abreviada) para la disyunción trivalente. Primer paso:
identificar las diferentes nueve posibilidades de combinaciones para dos variables

Disyunción trivalente

Segundo paso: Usar las primeras dos líneas de la tabla abreviada para determinar el valor de verdad de
los renglones con por lo menos un argumento verdadero:
Conjunción trivalente

Tercer paso: Cómo la última línea de la tabla abreviada es también la última línea de la nueva tabla, le
corresponde el mismo valor de verdad: falso.

Disyunción trivalente

Cuarto paso: Finalmente, cómo ya están los renglones que son verdaderos o falsos según la tabla
original, los renglones que aún no tienen valor de verdad, dado que no son ni verdaderos (sino hubieran
quedado como tales en el segundo paso) ni falsos (ya que tampoco quedaron así en el tercer paso),
deben ser indeterminados!

En algunos casos, esta tabla de verdad aparece, no en tres columnas, sino en un cuadro. Lo cual tiene la
ventaja de dejar más claro el patrón que emerge de la tabla. Siguiendo los mismos pasos se obtiene la
tabla de la conjunción: