COSMOS Y PENSAMIENTO Cosmovisiones, Filosofía y Psicología

COSMOS Y PENSAMIENTO:
Cosmovisiones, Filosofía y Psicología

SEGUNDO TRIMESTRE
DE LA LÓGICA SIMBÓLICA A LA LÓGICA TRIVALENTE

Desafío
Investiga y amplia las
Biogra�as de:
- Parménides
- Aristóteles
Conocemos nuestro mundo a través de la observación mediante los sentidos,
y lo asimilamos y expresamos mediante el pensamiento el cual es manifestado
en un lenguaje el cual es propio de cada cultura.

Viendo la siguiente figura, por lógica ¿Cuál es el

valor que falta?
Respuesta.- 139
_______________________________

Lee y analiza las siguientes oraciones (juicios o proposiciones) e identifica si

son verdaderas V o falsas F: Parménides (540-470 a.C.) Filosofo Eleáta quién
descubrió y aplico los principios fundamentales de la
Lógica.
a) Todos los animales mamíferos son de color verde: ______
b) El Hombre es mortal: _____________________________
c) Sócrates es Hombre: _____________________________
d) El oso Jucumari es un mamífero: ___________________
e) Mi casa queda lejos de la Unidad Educativa: __________
f) Mi casa queda cerca de la Unidad Educativa: __________
g) 5+3 = 8 ________________________________________

En las siguientes oraciones se puede indicar si son verdaderas V o falsas F.

Escribe al final un comentario sobre la oración que te parece más interesante.

a) 2 + 3
b) Estudia con optimismo
c) ¡Feliz año nuevo!
d) Hola
e) ¿Cómo te llamas?
Respuesta.- ______________________________________

En las siguientes oraciones se puede indicar si son verdaderas V o falsas F, o

indican una tercera posibilidad “ni verdadero ni falso” algo como “quizás” Aristóteles (384 a.C.–332 a.C.), reconocido como el
o “tal vez” fundador de la lógica con su obra el Organon.

a) Mi casa queda “aquisitos” de la Unidad Educativa

b) Edgar llegará “aurita” a la Cancha
Respuesta.- ______________________________________
Educación Secundaria Comunitaria Productiva
 Ministerio de Educación

Glosario
Busca en el diccionario
el significado de:
RAZONAR:
INTEGIBILIDAD:
SEGUNDO TRIMESTRE

DEDUCCION:

1. Lógica proposicional
1.1 Lógica

La Lógica, es una de las disciplinas más antiguas de la historia humana; el término lógica proviene del griego
logos(λóγoς), que significa discurso, razonamiento, pero que se aplica al campo de la inteligibilidad y del pensamiento
ordenado. Su origen se remonta a los tiempos de Aristóteles (s. IV a.C.). Se ha estudiado a través de los siglos y
aún hoy es un tema de investigación activa. Tradicionalmente se ha dicho que, “La Lógica se ocupa del estudio del
razonamiento”, este concepto en la actualidad se puede considerar desbordado, por la gran extensión y diversidad
que ha alcanzado. Así de manera general podemos decir que:

1.1.2. Definición (Lógica)

“La Lógica es una ciencia formal que estudia los principios de demostración e inferencia válida”.
Se dice:

- Ciencia formal, porqué trabaja con el uso de formas como método.

- Inferencia válida (deducción válida), es extraer un juicio o conclusión que tenga validez a partir de los principios,
hechos o proposiciones.

En este capítulo nos centraremos en la Lógica Proposicional (que es una parte de la Lógica y es una Rama de las
Matemáticas), cuyos elementos básicos son las proposiciones y desde este punto de vista:

140 1.1.2. Definición (Lógica Proposicional)

“La Lógica Proposicional es el estudio de las proposiciones y de sus respectivos valores de verdad.”

1.1.3. Definición (Valor de Verdad)

“Se entiende por Valor de Verdad a la veracidad o falsedad de una proposición”.

1.2 Proposición

Se puede definir de la siguiente manera: “Es un enunciado (que puede ser un conjunto de palabras, números o
símbolos), que debe tener un respectivo valor de verdad, falso(F) o verdad(V), no ambos”. Toda proposición,
debe cumplir con los siguientes principios:

- Principio de no contradicción, ninguna proposición puede ser falsa y verdadera a la vez.

- Principio del tercero excluido, sostiene que una proposición debe ser o bien verdadera o falsa.

A la Lógica proposicional, solo le interesa el valor de verdad de las proposiciones y no así su contenido.

1.2.2. Definición (Formalizar)

“Se denomina formalizar al proceso de asignar o representar con letras a las proposiciones y con símbolos a las
operaciones lógicas”. Generalmente se utilizan las últimas letras en minúscula del alfabeto para re- presentar a las
proposiciones, comenzando por la letra p, es decir: p, q, r, etc.
Ejemplo 1.1
El enunciado: Sócrates es un mortal Son proposiciones,
Es una proposición, porque tiene su respectivo valor de verdad, en este caso verdadero
los enunciados que
(V) y se puede formalizar(representar), por: “p”
sí tienen; valor de
donde “p”, es una proposición con valor de verdad verdadero. Y lo denotaremos de la
verdad.
siguiente manera: p : Sócrates es un mortal.

Educación Secundaria Comunitaria Productiva

 COSMOS Y PENSAMIENTO Cosmovisiones, Filosofía y Psicología

Ejemplo1.2.
Los siguientes enunciados, si son Proposiciones:

- p : El Sol es una estrella. Verdad (V)

- q : París es la capital de Japon. Falso (F)

SEGUNDO TRIMESTRE
-r:2+3=5 Verdad (V)
-s:1+1=5 Falso (F)

También se les conoce como Enunciados Cerrados, porque no dan opción de

ambigüedad en la existencia de su valor de verdad.

No son proposiciones los enunciados que no tiene valor de verdad, tampoco las expresiones gramaticales como ser:
Promesa, deseo, interrogación, imperativas, exclamación, saludo,. . . etc. (A la lógica no le interesa su estudio).

Ejemplo1.3.
Los siguientes enunciados, no son Proposiciones:

-2+3 - Estudia con optimismo

- Feliz año nuevo - Hola

- ¿ Cómo te llamas?

No son proposiciones, los enunciados que tienen ambigüedad en su valor de verdad; es decir no se puede precisar
si el enunciado es verdadero o falso. También se les conoce como Enunciados abiertos.

Ejemplo1.4.
- Él es alto No es Proposición, mientras no se sepa quien es “Él”, si se sabe
quien es Él se podría afirmar si el enunciado es verdadero o falso y el 141
enunciado llegaría a ser una proposición

- 3x + 1 = 4, No es proposición, mientras no se sepa el valor de x. Al asignarle

un valor podremos afirmar si es ver- dad o falso y de esa manera se la
consideraría una proposición.

Todas las proposiciones son enunciados, pero no todos los enunciados son pro- posiciones.

2. Tablas de Verdad

La Lógica Proposicional estudia la validez de las proposiciones y una manera de establecer esa validez es mediante
el uso de las Tablas de Verdad.

2.1 Conectivos Lógicos

Nacen de los conectivos gramaticales (y, o, entonces, si y solo si y del adverbio de negación no), los cuales son
partículas del lenguaje natural que unen a los enun- ciados gramaticales, logrando dar sentido a las oraciones. En el
lenguaje formal
ellos son empleados como símbolos operacionales a los que llamamos Conectivos
Lógicos y que son funciones de verdad 2, al igual que en la gramática logran dar sentido, en este caso a las
proposiciones.

Educación Secundaria Comunitaria Productiva

 Ministerio de Educación

2.1. Definición (Conectivos Lógicos)

“Los Conectivos Lógicos, conectan a las proposiciones lógicas”. También son llamados operadores lógicos o
conectores, los más fundamentales son:

SEGUNDO TRIMESTRE

Conectivo Símbolo Significado

1. La Negación “No”, “No es cierto”.

2. La Conjunción “y”.
3. La Disyunción Inclusiva “o Inclusivo”, lo uno o lo otro o ambos
4. La Disyunción Exclusiva “o Exclusivo”, lo uno o lo otro no ambos.
5. La Implicación (Condicional) “Entonces”.
6. La Doble Implicación (Bicondicional) “Si, y solo si”.

Tabla 1.1: Conectivos Lógicos

Debemos destacar las siguientes características importantes:

- Cada operador lógico tiene una determinada tabla de verdad.

- El conectivo lógico de La Negación es el único operador que conecta a una sola proposición lógica.
- Cuando varios conectivos lógicos unen a varias proposiciones simples, la operación de cada una de ellas se prioriza
con el empleo de signos de agrupación, en el siguiente orden: Paréntesis ( ), Corchetes [ ] y Llaves { }. A esto se conoce
como Jerarquía de las operaciones con conectivos lógicos.

142 - Los conectivos lógicos generan otras proposiciones que pueden ser proposiciones simples o compuestas.

2.2 Tipos de Proposiciones

Existen dos:
- Proposiciones Simples, son enunciados que tienen una sola proposición.

- Proposiciones Compuestas, son enunciados con dos o más proposiciones simples unidas por conectivos lógicos.

La unión de proposiciones simples con el uso de conectivos lógicos, produce otras llamadas proposiciones compuestas.

Ejemplo 1.6.

2.3 Tabla de verdad de los Conectivos Lógicos

2.3.1 La Negación (∼)

La Negación de una proposición p, se denota como ∼ p y se lee como “no p”.

Educación Secundaria Comunitaria Productiva

 COSMOS Y PENSAMIENTO Cosmovisiones, Filosofía y Psicología

Definición 2.3.1 (La Negación)

“La Negación invierte el valor de verdad de las proposiciones”.

Si el valor de verdad de una proposición es verdadera, cambiara a falsa (y vice- versa) por usar este operador. La tabla

SEGUNDO TRIMESTRE
de verdad de la Negación, para una proposición p, es:

Tabla 1.2: Tabla de Verdad de la Negación

Es común utilizar las siguientes palabras para su interpretación: No, no es cierto, no es verdad que, es falso que, no
ocurre que, no es el caso que, . . . , etc.

Ejemplo 1.7.
Sea la siguiente proposición:
p : Me llamo Simón Bolivar.
Aplicando la negación:
�p : No me llamo Simón Bolivar. = q
El operador lógico de la negación genera otra proposición simple a la que
podemos representarla con q, donde q tiene un valor de verdad opuesto
al de p.

2.3.2 La Conjunción ( ) 143

La Conjunción de dos proposiciones p y q, se denota como p q y se lee: “p
conjunción q” o simplemente “p y q”.

Definición 2.3.2 (La Conjunción).

“La Conjunción es un conectivo lógico que une a dos proposiciones, y solo da un

valor de verdad Verdadero, cuando ambas proposiciones son verdaderas”. George Boole (1815 - 1864)
Matemático británico, creador de
La tabla de verdad de la Conjunción, para dos proposiciones p y q, es: un nuevo sistema de cálculo lógico
que póstumamente sería llamado
Álgebra de Boole. Dicho sistema,
en el que las proposiciones se
reducen a símbolos sobre los que
puede operarse matemáticamente,
supuso un avance fundamental en el
desarrollo de la lógica
El álgebra de Boole

Tabla 1.3: Tabla de Verdad de la Conjunción Esta forma de cálculo desarrollada

por George Boole es un sistema
2.3.3. La Disyunción Inclusiva ( ) mediante el cual los razonamientos
lógicos pueden expresarse en
La Disyunción Inclusiva de dos proposiciones p y q, se denota como p q y se términos matemáticos. Los
elementos del álgebra de Boole
Definición 2.3.3 (Disyunción Inclusiva) son un conjunto de proposiciones,
es decir, de hechos expresados
“La Disyunción Inclusiva es un conectivo lógico que une a dos proposiciones, y mediante oraciones del lenguaje
solo da un valor de verdad Falso, cuando ambas proposiciones son falsas”. natural. Tales proposiciones tienen
como propiedad ser verdaderas o
lee: “p disyunción inclusiva q” o simplemente “p o q” . falsas.

Educación Secundaria Comunitaria Productiva

 Ministerio de Educación

2.3.5. La Implicación ( )

La Implicación de dos proposiciones p y q, se denota como p q y se lee: “p Doble implicación q” o simplemente

“p si y solo si q”.
SEGUNDO TRIMESTRE

Definición 2.3.6 (Doble Implicación)

“La Doble Implicación es un conectivo lógico que une a dos proposiciones, y solo da un valor de verdad Falso, cuando
la primera y la segunda proposición tienen distinto valor de verdad”. “p entonces q” . La tabla de verdad de la
Implicación, para dos proposiciones p y q, es:

Tabla 1.7: Tabla de Verdad de la Doble Implicación

En Resumen:

144

Ejemplo 1.8.
Realice la Tabla de Verdad de las siguientes proposiciones:

2.3.7 Tipos de Resultados

De acuerdo a sus resultados tenemos:
- Tautología , cuando todos los resultados son verdaderos.
- Contradicción , cuando todos los resultados son falsos
- Contingencia , en la hilera de resultados existen valores verdaderos y también falsos.

Educación Secundaria Comunitaria Productiva

 COSMOS Y PENSAMIENTO Cosmovisiones, Filosofía y Psicología

2.3.8 Equivalencia Lógica

“Dos o más proposiciones compuestas son lógicamente equivalentes si sus va- lores de verdad son idénticos”.

Ejemplo 1.8.

SEGUNDO TRIMESTRE
Verifique, si el conectivo lógico de disyuncion inclusiva ( ) cumple con la
propiedad conmutativa, es decir si p q es equivalente a q p.
Solución: La verificación se realiza con el empleo de las tablas de verdad.

Comparando la hilera de resultados de ambos (remarcado en negrilla),

son:

Desafío
Investiga y amplia las
3. Características esenciales de la tetraléctica o lógica andina Biografías de:
- Jan Łukasiewicz
Hasta ahora nos hemos referido a “lógica bivalente”, ya que tienen “dos valores
de verdad”, que son: - Ivan Guzman de Rojas

- Verdadero V - Falso F
En electrónica e informática estos dos valores están referidos a:
- Verdadero Encendido 1 - Falso Apagado 0
Correspondientes a la lógica binaria, misma que en informática sirve para el 145
so�ware de las actuales computadoras. Sin embargo, existen otras “Lógicas
polivalentes” constituidos por “varios valores de verdad”.
Logica Trivalente
El filósofo y matemático Jan Łukasiewicz (1878 - 1956) fue el primero en Jan Łukasiewicz (1878 - 1956)
desarrollar la lógica trivalente, que admite, junto a los valores de: Fue un matemático, lógico y
filósofo polaco. Se ocupó de la
- Verdad V - Falsedad F- «posiblemente»
lógica matemática, los problemas
Lukasiewicz usó los símbolos 1, 1/2 y 0 para denotar los tres valores de verdad de filosóficos relacionados con ella y la
su lógica trivalente. A diferencia de los dígitos binarios de Boole, estos símbolos historia de la lógica. Es el primero en
son numéricos, pero no algebraicos: no se pueden realizar operaciones con ellos; desarrollar la lógica trivalente, que
solo se utilizan para mostrar valores de verdad: 1 = verdadero; 0 = falso; 1/2 admite, junto a los valores de verdad
= un tercer valor de verdad, equidistante de ambos: “quizás verdadero y quizás y falsedad, el de «posiblemente».
falso”. En el manejo de tablas de verdad estos valores están referidos a:
• Verdadero 1 • Posiblemente 1/2 • Falso 0
En Bolivia, el Ing. Ivan Guzman de Rojas, al darse cuenta que en la enseñanza
de la lógica a nivel universitario, como los fundamentos que hemos visto aquí,
la lógica formal bivalente en la materia de “Análisis Matemático” se dio cuenta
que sus estudiantes tenían dificultades al enunciar y asignar valores de verdad
a las proposiciones, se dio cuenta que la mayoría de los estudiantes que tenían
este problema eran de habla aymara o aunque no fueran hablantes tenían raíces
aymaras, en tal sentido identifico que el problema radicaba en el lenguaje y la
forma de pensar asociada al lenguaje, en este caso el Aymara, así pues se dedicó
a estudiar la lógica asociada a este idioma. Iván Guzman Rojas (1934 - 2022)
Hijo del pintor potosino Cecilio
En 1979 investiga las propiedades algorítmicas de la estructura sintáctica del Guzmán de Rojas. Científico e
idioma aymara, investigación que lo llevaría a desarrollar el Sistema Atamiri, investigador boliviano. Investiga
so�ware que permite realizar la traducción multilingüe entre varios idiomas de
las propiedades algorítmicas de
manera simultánea con base al aymara. Autor de varias publicaciones, entre ellas:
El niño vs. el número (1979), Problemática lógico-lingüística de la comunicación la estructura sintáctica del idioma
social con el pueblo aymara (1982) y Lógica aymara y futurología (2007). aymara.

Educación Secundaria Comunitaria Productiva

 Ministerio de Educación

A diferencia de las computadoras basadas en lógica binaria ceros y unos, los seres humanos requieren una gradación
más flexible de los valores de verdad que el absoluto Verdadero o Falso. El mismo Aristóteles era consciente de
ello, cuando introdujo las nociones de “posibilidad” y “contingencia” en su lógica modal. Actualmente se requiere
de lógica más avanzada para describir ciertos fenómenos. En la matemática mediante las probabilidades se puede
entender mejor esto.
SEGUNDO TRIMESTRE

Por ejemplo, cuando lanzamos una moneda al aire tenemos dos opciones:
• Cara V
• Cruz F
Hasta no ver el resultado mientras la moneda está en el aire solamente tenemos la “posibilidad de que salga cara
o cruz”, esto en probabilidades es: p = 1/2, es decir 0.5 o “50%” para cara, 50% para cruz”, es decir “cara y cruz
simultáneamente” mientras esta en el aire.
La lógica binaria se tiene limitantes al abordar problemas indeterminísticos, para tal efecto matemáticamente se
recurre a la teoría de probabilidades.
En Física, los objetos muy pequeños, a nivel atómico se comportan de forma distinta a los objetos grandes a nivel
macroscópico, el mundo a nivel atómico es entendido mediante probabilidades
En Física cuántica se tiene el siguiente ejemplo para entender esta situación:

Paradoja de El gato de Schrödinger

Es un experimento imaginario planteado por físico austriaco-irlandés Erwin Schrödinger en 1935.
Se coloca un gato en una caja opaca aislada, con una pequeña cantidad de
sustancia radiactiva. Cuando la sustancia radiactiva se desintegra, activa un
contador Geiger que provoca la liberación de un veneno o una explosión que
mata al gato. Ahora bien, la descomposición de la sustancia radiactiva se rige
por las leyes de la mecánica cuántica. Esto significa que el átomo comienza en
un estado combinado de “se va a descomponer” y “no se va a descomponer”.
Desde fuera de la caja cerrada solo se puede afirmar que “El gato termina
146 muerto y vivo al mismo tiempo”. Porque la existencia de un gato que está
muerto y vivo al mismo tiempo es absurda y no sucede en el mundo real,
pero por probabilidades ese es el estado del gato dentro de la caja. Claro, una
vez que se abra la caja, recién se puede saber si está vivo o muerto, mientras
tanto no. (En este experimento imaginario ningún gato sufrió daños).

Otros ejemplos de valores intermedios están dados en

los fenómenos eléctricos, cuando se enciende un equipo
mediante una diferencia de potencial para generar
una corriente eléctrica, esta no es inmediata, existe
una llamada “parte transiente” en lo que comúnmente
llamamos encendido de un equipo eléctrico, se va de un
régimen transitorio a un régimen permanente es decir
no es inmediato.
Para entender estos fenómenos y otros de manejo
cotidianos, se requiere ampliar las posibilidades desde
la misma lógica, que es el modo de pensar que está
íntimamente ligado al lenguaje, en el caso del aymara
ya está incorporado según las investigaciones de Ivan
Guzman de Rojas a la lógica trivalente con el que se Escanea el código QR para obtener el enlace de la
entendería mejor estos problemas más avanzados. monografía: PROBLEMATICA LOGICO - LINGÜÍSTICA
En el presente texto por la limitaciones de tiempo no DE LA COMUNICACION SOCIAL CON EL PUEBLO
se pretende profundizar en las tablas de verdad de AYMARA de Ivan Guzman de Rojas.
la lógica trivalente, en pero se invita a estudiantes y
docentes que deseen profundizar sus conocimientos en
esta lógica siguiendo los enlaces sugeridos mediante el
código QR donde se encuentran los artículos y trabajos
desarrollados por el Ing. Ivan Guzman de Rojas en los
cuales se encuentra la profundidad de estos temas.
El objetivo de este tema ha sido presentar la lógica
formal binaria occidental con la que se basa la actual
tecnología y sus fundamentos, ya en la parte final hemos
presentado las lógicas polivalentes e introducido la
lógica trivalente, el idioma aymara de acuerdo a estudio
lingüístico corresponde a esta lógica.

Educación Secundaria Comunitaria Productiva