EQUIPO DE TRABAJO: .

ELOÍSA SALCIDO OLGUÍN *

ROSARIO HERNÁNDEZ MÁRQUEZ
GUSTAVO CASTRO POSADA
HERMILA MÁRQUEZ MARTÍNEZ

“INTRODUCCIÓN A LA LÓGICA”
Carlos Muñoz Gutiérrez

1.- Pensar y Razonar.-

Para analizar la realidad que percibimos, nuestra mente realiza un complejo proceso de
asimilación, partiendo de la información que captamos, la cual es transformada, en nuestro
interior, en imágenes mentales, simbologías o conceptos; lo que nos permite integrar la nueva
información con los esquemas anteriores, datos almacenados, con los que realizamos diversas
operaciones mentales, asociación, análisis, ajustes, etc. A este proceso, lo denominados
“pensar” y tiene como objetivo lograr una abstracción de la realidad para reconstruirla de
manera representativa y, lógicamente abstracta, en nuestra mente.

Este “pensar”, cuando es estructurado en secuencias lógicamente organizadas, nos da la

capacidad de analizar y prever sucesos, ser conscientes de las consecuencias de nuestros actos,
anticipándonos a ello para evitar eventos desfavorables, o, en su caso, promover los favorables.

Nuestro proceso de pensamiento es constante; construimos secuencias temporalizadas de

imágenes o conceptos para representar, simbólicamente, sucesos o eventos. Ello nos permite
adelantarnos a los hechos para “producir” (o predecir) lo que aún no acontece. Para lograr tal
producción simbólica, anticipada, requerimos, además de la información almacenada y la
conjugación y asociación de los datos involucrados, la conciencia o percepción de nuestro
propio proceso de pensamiento; a esto se le denomina RAZONAMIENTO.

El razonar, entonces, nos permite emitir juicios, es decir, emitir aseveraciones lógicas y
sintácticas, para expresar un estado de cosas de la realidad. Lo que, a su vez, nos faculta para
llevar nuestro razonamiento a otro nivel. Que es el de partir de las situaciones dadas, reales,
para llegar a tener consciencia de lo que no se sabe por experiencia, o no se conoce, pero se
deduce que sucederá.

La deducción proviene de la conexión o asociación de juicios, en una secuencia lógica, causal o

deductiva, para emitir nuevos juicios o nuevas relaciones entre ellos; obteniendo nuevos
conocimientos y/o evaluar y prevenir posibles acontecimientos y consecuencias de nuestros
actos, lo que nos conduce a la AUTODETERMINACIÓN.
2.- El razonamiento lógico.-

El razonamiento lógico nace, entonces, de las relaciones lógicas que mantienen entre sí un
conjunto de juicios, estructurados sintácticamente. Los juicios dados se ubican en forma de
premisas, por ser bases estables de conocimiento, para que, a partir de ellos, se pueda llegar,
mediante la deducción, a juicios que no se tenían, o no se conocían. A estos nuevos juicios,
extraídos mediante deducción, los conocemos como CONCLUSIÓN, la cual es válida, siempre que
se haya obtenido procedimientos y estructuras lógicas, tanto de los juicios-premisas, como de
las deducciones.

3.- La lógica formal.-

Definida por el autor como “la ciencia de los principios de la validez formal de la inferencia”, que
se ocupa de aquellos razonamientos que han sido producidos o concluidos, partiendo de un
proceso de la razón.

A diferencia de las ciencias empíricas, que se ocupan de la verdad material, la Lógica se encarga
de la verdad formal, o validez, de los productos del razonamiento. Prescindiendo de los
contenidos “materiales” de los juicios, para abocarse sólo a la forma lógica en que se llegó a esa
conclusión. Es así que, los contenidos particulares de los juicios, son generalizados mediante
simbología matemática, lo que permite manipular con mayor facilidad las variables
proposicionales, contenidas en los juicios-premisas, y llegar a la formalización de las inferencias.

Así entonces, sea p: x variable,

sea q: z variable dependiente
simbolizando la relación condicional, “si … entonces” con el signo , tenemos que:

p q
p … será un esquema de inferencia válido, ya que al suceder p tiene como
consecuencia lógica la ocurrencia de q.
q

mientras que:
p q
q … no es un esquema de inferencia válido,
p

Esto nos lleva a aseverar que, todo razonamiento lógico que se base en el esquema de inferencia
válido, asegura la validez de sus conclusiones obtenidas; esto se denomina validez formal de las
inferencias.
 3.1. División de la Lógica.-

La Lógica se estructura en cálculos y, en base su función, es que se establecen los criterios de

clasificación

Lógica de proposiciones o enunciados: se estudia la relación lógica que se establece entre

oraciones, mismas que constituyen la unidad mínima de significación lógica. Dado que la
relación condicional entre las premisas y la conclusión, es una deducción, se dice que se realiza
un cálculo hipotético.

Lógica de Predicados o Cuantificacional: Es un subsiguiente nivel de cálculo, basado en el

anterior. Se caracteriza por analizar las oraciones en sus componentes sujeto y predicado. Es,
fundamentalmente, una lógica de clases, donde la relación lógica que se estudia es la
pertenencia, o no, a un conjunto o la posesión, o no posesión, de propiedades, por los distintos
individuos de lo se habla. Esta división de la lógica, tiene recursos para englobar a todos los
individuos de un conjunto, o , a algunos individuos.

Lógica de Primer Orden: Se llama así a ala unión del cálculo proposicional y del cálculo de
predicados. Tiene la restricción de que sólo se pueden utilizar los cuantificadores con elementos
individuales. Es decir, nos se puede hablar de todos o de algunos de las clases de algún tipo.

Lógica de 2º (3º, 4º …n) Orden: Sobre la lógica de primer orden, al cuantificar sobre propiedades
o predicados, o predicados de predicados; estamos cuantificando sobre una propiedad, estamos
subiendo de nivel de cuantificación, o de orden, pasando del primer al 2º orden, y así
sucesivamente.

Esta estructura de cálculos, es de forma anidada, en la que, debe interpretarse de forma

monótona ascendente; que todo lo que es válido para un nivel inferior, es válido para el nivel
superior, pero, no a la inversa.

Desde el punto de vista semántico, se puede establecer otro criterio de clasificación: El número
de valores de verdad que se acepten en los cálculos. Así tenemos que:

En la LÓGICA CLÁSICA.- Sólo se admiten dos valores de verdad: verdadero o falso, ya que no puede
ocurrir que sean ambos a la vez.

En la LÓGICA NO-CLÁSICA. Cuando se contemplan más valores de verdad que verdadero o falso;
como otros recursos expresivos.
 Trivalente.- además del valor verdadero o falso, incluye lo que no es verdadero ni falso,
por ser desconocido o incierto.
 Polivalente.- En la que los valores de verdad se corresponden con el intervalo [0,1]; lógica
probabilística.
  Modal.- incorpora los modificadores: lo necesario y lo posible.
 Temporal.- incluye parámetros temporales. Su valor depende del momento en que se
produce.
 Epistémica.- Lógica intencional, que pretende formalizar enunciados de creencias,
opinión, etc.
 Nomonotónica.- Pretende formalizar situaciones reales, sin la totalidad de la información
necesaria, la que, posteriormente, se revisa para agregar pruebas o refutar creencias.

3.2.- La Noción de Cálculo (en la Lógica).- La Lógica intenta establecer un catálogo de

estructuras o esquemas de razonamiento, que nos permita obtener conclusiones válidas
partiendo de unas premisas. La estrategia de la Lógica, como ciencia, es, diseñar un método
general de prueba de razonamientos, que responda con valor de verdad, si el razonamiento es
válido. A este mecanismo se le denomina Cálculo.

La noción de Cálculo es, una mera estructura sintáctica, un sistema de relaciones, que pueda se
aplicable a cualquier situación. Ésta, requiere de varios elementos, que conformen su estructura
inferencial, de manera que garantice la validez formal del cálculo operado: vocabulario básico o
elementos primitivos, reglas de formación y reglas de transformación.

4.- Lógica Proposicional o de Enunciados.-

Este cálculo toma como elementos primitivos, o vocabulario básico, variables proposicionales y
símbolos logísticos, que formalizan a los elementos que indican la estructura y relaciones lógicas
que se establecen entre las proposiciones.

4.1.- Variables y valores de verdad.-

Una variable representa una proposición, y se utiliza consonantes, en minúscula, para
simbolizarla: p, q, r, s … Si es necesario se utilizan subíndices: p1, p2, p3,…pn.
Las proposiciones de interés para la lógica son las enunciativas o aseverativas, y únicamente con
valor verdadero o falso, por ser una lógica bivalente. Cuyo valor es simbolizado con (1,0), para
verdadero o falso, respectivamente. P
Así, una variable p, expresa sus posibles valores: 1
0
y para dos o mas variables, se expresan las posibles combinaciones de valores de verdad, que se
pueden establecer: p q
1 1
1 0
0 1
0 0

Para obtener el número de combinaciones posibles, se recurre a la fórmula 2 n.

 4.2.- Conectivas y sus interpretaciones semánticas.-
Los otros elementos primitivos del cálculo son las conectivas u operadores; encargados de
establecer conexiones lógicas entre las oraciones. En las conectivas lógicas, sus argumentos van
a ser proposiciones y su valor un valor de verdad, es decir, serán funciones veratitas.

Una función veratita es una función cuyos argumentos son valores de verdad y su resultado es
también un valor de verdad.

Una oración, simbolizada: p y q, utiliza la conjunción “y”, para expresar la ocurrencia de dos
acontecimiento a la vez. Si los argumentos (u oraciones) que une son ambas verdaderas, la
función de la conectiva produce un resultado verdadero.

Conectivas Lógicas:
La negación: ¬ Es una conectiva monádica (de un solo argumento) , toma como argumento

una proposición y arroja como valor lo contrario de la proposición. Si p es verdadera, ¬p es falsa.

La conjunción : ^ Es la unión conjuntiva de dos proposiciones; p y q = p^q. De donde la conjunción

de dos proposiciones atómicas es verdadera cuando los son, a su vez, las dos proposiciones
componentes.

La Disyunción: ν Es la unión disyuntiva de dos proposiciones cualquiera: p v q; que significa p ò q.

Que puede interpretarse de dos formas distintas:
- Disyunción exclusiva: si se da una de las alternativas no se da la otra.
- Disyunción inclusiva: se puede dar una u otra, o las dos alternativas a la vez-

El Condicional: Que significa “ si ….. entonces”, y formaliza la estructura deductiva entre dos
premisas, condicionándolas. Así p q ; si p entonces q, Si sucede p, entonces sucederá q.
Es importante el orden de colocación de las variables, para evitar errores lógicos de ocurrencia.

El Bicondicional: Expresa la condición suficiente y necesaria: si y sólo si. Es, en realidad, la

conjunción del condicional con su inverso. Expresa la relación de equivalencia. Por lo que un
bicondicional es verdadero cuando sus proposiciones atómicas coinciden en su valor de verdad.