Guía / Repositorio No.

1: Introducción a la lógica

Objetivo Específico: Identificar conceptos y nociones más importantes que forman parte de la lógica.

CONTENIDO
1.1. ¿Qué es la Lógica?
1.2. De qué trata la lógica
1.3. Pensamiento y Razonamiento
1.4. Validez y Verdad
1.5. Corrección, Verdad y Analisidad
1.6. Presentación de los Sistemas Lógicos
1.6.1 Lógica Proposicional
1.6.2 Lógica de Predicados
1.7. Perspectivas de los sistemas lógicos Sintáctico y Semántico

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 1

Guía / Repositorio No. 1: Introducción a la lógica

1.1. ¿Qué es la Lógica?

La lógica es una disciplina tan antigua como el hombre, pues su desarrollo está
ligado al desarrollo intelectual del ser humano, por ello se le conoce como ciencia del
razonamiento. La palabra lógica proviene del término griego “logos” que significa
razonamiento o discurso, y se trata de una disciplina que estudia las formas y leyes del
pensamiento basada en un lenguaje exacto y un conjunto de reglas que permite obtener una
conclusión. También se concibe a la Lógica como ciencia que enseña a razonar con
exactitud ya sea de forma verbal o matemática mediante un lenguaje simbólico.

Según Johnsonbaugh (1999) la lógica “es el estudio del razonamiento; en particular,

se analiza si el razonamiento es correcto. La lógica se centra en las relaciones entre los
enunciados y no en el contenido de un enunciado particular.” En otras palabras, la lógica se
ocupa del razonamiento a partir de las premisas, las cuales son proposiciones que dan la
pauta para el proceso deductivo e inductivo.

Otro aspecto a mencionar en la definición de la lógica es lo relacionado con el

lenguaje natural y el lenguaje artificial. En este sentido, el lenguaje natural es un
instrumento de comunicación humana, que se caracteriza por su gran flexibilidad y puede
estar lleno de redundancias y ambigüedades; estas características hacen que la lógica formal
no esté interesada en el lenguaje natural. Por su parte, la lógica pretende ser una ciencia
rigurosa y universal que permita realizar cálculos exactos; para ello, la lógica requiere el
diseño de un lenguaje artificial que sea formal, donde lo que importe sea la forma o aspecto
externo, y no el significado de las frases y donde sólo los mensajes que cumplan
rigurosamente las normas sintácticas sean aceptados como correctos.

La lógica formal es una ciencia que estudia el conocimiento que genera un

conocimiento y este conocimiento puede producirse de dos formas, por constatación, de
hechos o ideas o por deducción, a partir de un conocimiento se obtiene otro conocimiento.
Esto es, la lógica formal estudia la deducción o razonamiento como proceso mental capaz
de generar nuevos elementos de conocimiento a partir de otros.

Finalmente, la lógica formal es una ciencia. Una ciencia formal. Es el estudio del
razonamiento formalmente válido, es la ciencia de la inferencia deductiva. La principal
aportación que la lógica hace a las ciencias está en la ordenación, estructuración y análisis
de las verdades conocidas.

1.2. De qué trata la lógica

La lógica, es la ciencia dedicada a la exposición de las formas, los métodos y los

principios del conocimiento científico. Algo lógico, en este sentido, es aquello que respeta
estas reglas y cuyas consecuencias resultan justificadas, válidas o naturales.

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 2

Guía / Repositorio No. 1: Introducción a la lógica

En otras palabras, la lógica se ocupa básicamente de declaraciones o enunciados

que se caracterizan porque sus afirmaciones tienen un valor de verdad. Esto es, la lógica
trata a las proposiciones que se pueden definir como enunciados simples, ya sean falsos o
verdaderos, son proposiciones.

El objetivo de la lógica matemática es cuestionar y sustentar los conceptos y reglas

empleados en matemáticas, por ello se la considera una “Metamatemática”, donde la
construcción de sistemas formales es su eje fundamental. Los métodos lógicos se utilizan
en matemáticas para demostrar teoremas y en computación para demostrar que los
programas hacen precisamente lo que deberían Hacer.

En una primera aproximación al tema, podremos dar la siguiente definición:

La lógica investiga la relación de consecuencia que se da entre una serie de
premisas y la conclusión de un argumento correcto. Se dice que un argumento
es correcto (valido) si su conclusión se sigue o es consecuencia de sus
premisas; de otro modo es incorrecto (Mates, 1974).

De aquí que, por un argumento entendemos un sistema de enunciados, de un

lenguaje determinado. Uno de esos enunciados es designado como la conclusión y el resto
como las premisas. Asimismo, un enunciado se define como una expresión lingüística que
establece un pensamiento completo:

 Interrogativos,
 Imperativos,
 Declarativos:
o Enunciados de acción: sujeto no determinado. Ejemplos: “es verano”; “hace
calor”.
o Enunciados de atribución de propiedades a sujetos determinados. Ejemplos:
“Luis es alto”; “El verano es caluroso”.
o Enunciados de relación entre sujetos. Ejemplos: “Luis es hermano de Juan”
(Relación binaria); “Los Pirineos están entre España y Francia” (Relación
Ternaria).

Ejemplo 1 Una forma tradicional de presentar los argumentos es como se muestra a

continuación:
Todos los hombres son mortales;
Todos los griegos son hombres;
 Todos los griegos son mortales.

A nadie la resultara difícil ver que la conclusión del argumento anterior se sigue de
sus premisas. En otros casos se requiere de cierta reflexión, como en
Hay exactamente 136 cajas de naranjas en el almacén;
Cada caja contiene al menos 140 naranjas;
Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 3
Guía / Repositorio No. 1: Introducción a la lógica

Ninguna caja contiene más de 166 naranjas; .

 Hay en el almacén al menos seis cajas que contienen el mismo número de naranjas.

En otros casos la cuestión puede ser muy difícil.

El número de estrellas es par y menor que cuatro;

 El número de estrellas es la suma de dos primos

1.3. Pensamiento y Razonamiento

En el latín y también en el griego es donde nos encontramos con el origen

etimológico de las dos palabras que dan forma al término pensamiento lógico que ahora
vamos a analizar en profundidad. En concreto, pensamiento emana del verbo pensare que
es sinónimo de “pensar”; lógico, por su parte, tiene en el griego su punto de origen pues
procede del vocablo logos que puede traducirse como “razón”.

El pensamiento lógico es aquel que se desprende de las relaciones entre los objetos
y procede de la propia elaboración del individuo. Surge a través de la coordinación de las
relaciones que previamente ha creado entre los objetos.

Es importante tener en cuenta que las diferencias y semejanzas entre los objetos sólo
existen en la mente de aquel que puede crearlas. Por eso el conocimiento lógico no puede
enseñarse de forma directa. En cambio, se desarrolla mientras el sujeto interactúa con el
medio ambiente.

El pensamiento lógico sirve para analizar, argumentar, razonar, justificar o probar

razonamientos o acciones verídicas que auxiliándose del proceso de deducir te llevan a una
repuesta o pensamiento que es lógico. El rasgo dominante del pensamiento lógico, su
principal fortaleza, es que nos sirve para analizar, argumentar, razonar, justificar o probar
razonamientos.

La estructura del razonamiento incluye:

 Premisas: Afirmaciones o negaciones previas.
 Conclusión: Una sentencia que se deriva de las premisas.
El pensamiento lógico tiene las siguientes características:

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 4

Guía / Repositorio No. 1: Introducción a la lógica

 Es preciso, exacto: Hay que utilizar los términos en su estricto sentido (no es lo
mismo decir todos, que la mayoría o algunos).
 Se basa en datos probables o en hechos: Busca la veracidad y el rigor, por eso debe
partir de información válida.
 Es analítico: Divide los razonamientos en partes, desmenuza los elementos de la
información para encontrar relaciones. Por supuesto que también realiza síntesis
(decir que todos los hombres son mortales es una síntesis) pero pone más énfasis en
los análisis.
 Sigue reglas: El razonamiento lógico está dirigido por las reglas de la lógica. Si no
cumple esas reglas, el razonamiento será falso.
 Es racional, sensato: No hay lugar para las fantasías, se ciñe, como decíamos, a
hechos o datos probables.
 Es secuencial: Es un pensamiento lineal, va paso a paso. Los razonamientos se van
enlazando como eslabones de una cadena, unos detrás de otros y manteniendo un
orden riguroso. No se admiten saltos, las conclusiones tienen que estar apoyadas en
los planteamientos anteriores.
En este orden de ideas, cuando una persona razona, desarrolla un razonamiento.
Razonar es la actividad mental que permite lograr la estructuración y la organización de las
ideas para llegar a una conclusión. De aquí que un razonamiento lógico, en definitiva, es
un proceso mental que implica la aplicación de la lógica. A partir de esta clase de
razonamiento, se puede partir de una o de varias premisas para arribar a
una conclusión que puede determinarse como verdadera, falsa o posible.
El razonamiento lógico se puede iniciar a partir de una observación (es decir, una
experiencia) o de una hipótesis. El proceso mental de análisis puede desarrollarse de
distintas maneras y convertirse en un razonamiento inductivo, un razonamiento
deductivo, entre otros. Según la clase de razonamiento empleada, la conclusión tendrá
mayor o menor posibilidad de resultar válida. La conclusión encuentra su base en las
premisas iniciales: el razonamiento lógico es el camino que vincula ambas partes; el
resultado del razonamiento tendrá un cierto grado de probabilidad en cuanto a su
veracidad, siempre que los razonamientos lógicos sean válidos.

1.4. Validez y Verdad

En lógica, se dice que un argumento es válido cuando la conclusión se sigue
deductivamente de las premisas. Mientras de las premisas y la conclusión se dice que son
verdaderas o falsas, de los argumentos se dice que son válidos o inválidos. La validez o
invalidez de un argumento no depende de que su conclusión sea verdadera. Un argumento
puede tener premisas verdaderas y conclusión verdadera, y aún así ser inválido. Por
ejemplo:

Venus es un planeta.

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 5

Guía / Repositorio No. 1: Introducción a la lógica

Júpiter es un planeta.
Por lo tanto, Mercurio es un planeta.

En este argumento, tanto las premisas como la conclusión son verdaderas, pero sin
embargo el argumento no es válido, porque la conclusión no se sigue de las premisas.
Podría ser que las premisas sean todas verdaderas, y la conclusión falsa. No es difícil
imaginar una situación en donde Venus y Júpiter sean ambos planetas, y Mercurio no lo
sea. Por ejemplo, podría suceder que un día se deje de considerar a Mercurio como un
planeta, como sucedió con Plutón, o que por alguna razón Mercurio sea destruido. En
cualquiera de estos casos, las premisas serían verdaderas, pero la conclusión falsa.
Contrástese esto con el siguiente argumento válido:
Venus es un planeta.
Júpiter es un planeta.
Por lo tanto, Júpiter es un planeta y Venus es un planeta.

Este argumento, aunque poco informativo, es válido, porque es imposible que las
premisas sean verdaderas y la conclusión falsa. Por ejemplo, si alguna catástrofe destruyera
Venus, e hiciera falsa una de las premisas, entonces la conclusión también dejaría de ser
verdadera.

Cuando un argumento es válido, se dice que la conclusión es una consecuencia

lógica de las premisas.

 Ejemplo de razonamiento lógicamente verdadero, válido, pero falso en su

contenido material.

Si todos los mamíferos tienen alas y los seres alados vuelan, entonces si los perros
son mamíferos, los perros vuelan.

 Ejemplo de razonamiento lógicamente inválido, que puede ser verdadero en su

contenido material.

Si sólo los que miden más de 1.80 juegan al baloncesto, y Antonio mide más de
1.80, entonces Antonio juega al baloncesto.

(Antonio puede o no jugar al baloncesto, porque su verdad o falsedad depende de

la experiencia, no de la forma argumentativa, puesto que es un argumento inválido).

 Ejemplo de razonamiento lógicamente válido, cuya validez depende de un

contexto cultural determinado.

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 6

Guía / Repositorio No. 1: Introducción a la lógica

Entre todas las religiones del mundo, una será la verdadera y todas las demás serán
falsas. Es así que la única religión verdadera es......"La Nuestra". Luego todas las demás son
falsas.

En resumen de VERDAD Y VALIDEZ se puede concluir que:

 Solo pueden predicarse de las proposiciones y de los razonamientos
deductivos, dado que no son verdaderos o falsos, sino válidos o inválidos.
 La verdad o la falsedad de la conclusión no determina la validez o la
invalidez de un razonamiento.
 Y la verdad de un razonamiento tampoco garantiza la verdad de la
conclusión.

Ejemplos:
Premisa: Todos los mamíferos (A) son de sangre caliente (B)
Premisa: Todos los animales de sangre caliente (B) son vertebrados (C)
Conclusión: Todos los mamíferos (A) son vertebrados (C)
(Razonamiento valido con premisas y conclusión verdadera)

Premisa: Todos los perros son reptiles

Premisa: Algunos reptiles ladran
Conclusión: Todos los perros ladran.
(Razonamiento lógicamente valido, porque se parte de premisas falsas y se
llega a una conclusión verdadera)

Premisa: Todos los mamíferos (A) son de sangre caliente (B)

Premisa: Todos los animales de sangre caliente (B) son vertebrados (C)
Conclusión: Todos los mamíferos (C) se desplazan (D)
(La conclusión <aparente> no se desprende de las premisas. No hay
relación entre ellas. Apareció un nuevo término "desplazarse" que no se
encuentra en las premisas y que aparentemente son verdaderas. Por eso se ha
establecido una Ley de la lógica que expresa que NO podemos saber cuando un
razonamiento es válido o inválido solamente por el contenido de las premisas y las
conclusiones que como vemos aquí son verdaderos, sino por su forma.
En estricto sentido no es un razonamiento, NI VALIDO NI INVÁLIDO.

Premisa: Todo perro es vertebrado

Premisa: Todo caballo es vertebrado
Conclusión: Todo perro es caballo
(Razonamiento inválido; por ser las premisas verdaderas y la conclusión falsa)

Ejercicios:
 Construir 1 argumento inválido con premisas y conclusión verdadera.
 Construir 1 argumento válido con premisas y conclusión verdadera.
 Construir 1 argumento no válido con premisas y conclusión falsa.
Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 7
Guía / Repositorio No. 1: Introducción a la lógica

 Construir 1 argumento válido dependiendo del contexto.

 Construir 1 argumento válido con premisas falsas, pero conclusión verdadera.
 Construir 1 argumento inválido con premisas verdaderas y conclusión falsa.

1.5. Corrección, Verdad y Analiticidad.

La noción de corrección de un argumento se formula comúnmente en términos de

verdad y de posibilidad:

Un argumento es correcto si y solamente si no es posible que sus premisas sean

verdaderas y su conclusión falsa.

Establecer la corrección de un argumento por esta vía, usando los conceptos de

verdad y posibilidad, es una tarea ardua e imposible de automatizar.

Estaremos interesados en investigar métodos que permitan inferir la corrección de

un argumento basándonos en la forma de los enunciados que la componen.

Íntimamente conectado con el concepto de argumento correcto está el de

enunciado analítico:

Un enunciado es analítico si y solamente si en cualquier circunstancia

concebible es verdadero.

A fin de asentar el concepto de enunciado analítico, es preciso observar la siguiente

diferenciación:

 Enunciado analítico (“verdades de razón”, ”verdades necesarias”, o “verdades

lógicas”):
Sócrates murió en el 399 a.C. o Sócrates no murió en el 399 a.C.

 Enunciado sintético (“verdades de hecho” o “verdades contingentes”)

Sócrates murió en el 399 a.C.

Entonces puede considerarse que todo enunciado analítico lo es en virtud de su

forma.

- Sócrates murió en el 399 a.C. o Sócrates no murió en el 399 a.C.

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 8
Guía / Repositorio No. 1: Introducción a la lógica

- Juan murió en el 399 a.C. o Juan no murió en el 399 a.C.

- La nieve es blanca o La nieve no es blanca.

Son todos analíticos, como también lo es cualquier enunciado de la forma “A o no

A”.

 Conexión entre analiticidad y corrección:

Dado un argumento con una serie finita de premisas A1, A2, . . . , An 4  C

es correcto si y solamente si el enunciado

Si A1 y A2 y . . . y An entonces C

es analítico.

Cabe destacar que esbozo ofrecido sobre que es la lógica ha seguido una
orientación principalmente semántica, es decir, centrada en el valor de verdad de los
enunciados cuando se relacionan con uno de los mundos posibles.

1.6. Presentación de los Sistemas Lógicos

Los diferentes sistemas lógicos elementales tienen en común, en su presentación,

una etapa previa de simbolización que suele hacerse a dos niveles:

1.6.1 Lógica Proposicional

La lógica proposicional o lógica de orden cero es un sistema formal cuyos

elementos más simples representan proposiciones, y cuyas constantes lógicas,
llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de
formar otras proposiciones de mayor complejidad. (wikipedia, 2017)

La lógica proposicional está conformada en frases declarativas simples, enunciados

y proposiciones.

1.6.2 Lógica de Predicados

La lógica de predicados se toma como base los componentes de una proposición,

términos, cuantificadores, ...

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 9

Guía / Repositorio No. 1: Introducción a la lógica

1.7. Perspectivas de los sistemas lógicos Sintáctico y Semántico

Dentro de cada uno de estos niveles de representación del lenguaje, se pueden

considerar dos formas de presentar las estructuras deductivas correctas:

 Sintáctica: Definición axiomática de una serie de estructuras deductivas correctas y

de reglas para obtener nuevas estructuras deductivas correctas a partir de aquellas:
Teoría de la demostración y Deducción natural.
 Semántica: Definición de significados (Verdadero, falso ...), definición de las
estructuras deductivas correctas a partir de la relación de significados de los
elementos de la deducción: Teoría de modelos.

REFERENCIA

 Introducción a la lógica: Verdad y validez. Consultado en:

https://es.scribd.com/doc/103608653/Verdad-y-Validez.
 Johnsonbaugh Richard (1999). Matemáticas Discretas. 4a. ed., PRENTICE HALL,
México, 1999.
 Mates, B. (1974). Lógica Matemática E<lemental. Madrid: Tecnos.
 Pérez Porto, Julián y Merino, María (2015). Definición de razonamiento lógico.
Consultado en: http://definicion.de/razonamiento-logico/.
 Pérez Porto, Julián y Merino, María (2008). Definición de pensamiento lógico.
Consultado en: http://definicion.de/pensamiento-logico/.
 Wikipedia (2017). Lógica proposicional. Consultado (01/05/2017) en:
http://es.wikipedia.org/wiki/Lógica_proposicional.

Elaborado por: Msc. Lindolfo Torres – UNELLEZ Página 10