PDF U4

Unidad IV. Lógica Simbólica.
Cálculo Proposicional
Documento base para los temas:

1. Generalidades del cálculo proposicional.
2. Reglas del cálculo proposicional.
Lógica Jurídica ● Versión pdf Unidad IV. Lógica simbólica. Cálculo proposicional ● Pág. 2
© Universidad “Dr. Rafael Belloso Chacín”

1a. Edición
Queda prohibida la reproducción o transmisión total o parcial del texto de la

presente obra bajo cualquier forma, electrónica o mecánica incluyendo el
fotocopiado, el almacenamiento en algún sistema de recuperación de
información, o el grabado, sin el consentimiento previo y por escrito del
editor.
Contenido >> Alice Valbuena

Diseño Instruccional >> Michell Villaruel y Roselyn Fernández
Diseño Gráfico >> Michele Casasanta
Diagramación >> Karla Pérez
Maracaibo, Venezuela, 2007.

Esquema de contenido
Introducción ...............................................................................................4
Objetivo ....................................................................................................4
Tema 1. Generalidades del cálculo proposicional. ................................................5
1.1. Definición de cálculo proposicional. ...................................................5
1.2. Clases de fórmulas........................................................................5
1.3. Vocabulario del cálculo proposicional. ................................................8
Tema 2. Reglas del cálculo proposicional. ........................................................ 11
2.1. Reglas de formación. ................................................................... 11

2.1.1. Simbolización. .................................................................. 12
2.2. Reglas de transformación.............................................................. 13
2.3. Reglas de interpretación............................................................... 15

2.3.1. Pasos para la aplicación de tablas de verdad. ............................ 18
Referencias Bibliográficas ............................................................................ 20

Introducción
La división de la lógica presentó un enriquecimiento trascendental, entre los siglos XIX y

XX, al desarrollarse la inquietud por ir más allá de la simbolización parcial de contenidos
para llegar, sobre todo con los aportes de los filósofos que del llamado Círculo de Viena, a
la simbolización total de los contenidos, alcanzando así, como bien señala Escobar
Valenzuela (1999) el “desarrollo de la lógica moderna, que tiene como ideal la formación
de un lenguaje perfecto, preciso, claro y eficaz, como instrumento de validez lógica”; y
ello con el objeto, de superar vicios del lenguaje natural, tales como las imprecisiones y las
ambigüedades que por la influencia de las funciones directiva y expresiva del lenguaje,
entre otras causas, dan como resultado lenguajes inapropiados para la investigación
científica.
De esta manera, nutriéndose con el espíritu de exactitud y rigidez de la matemática las

contribuciones de pensadores como George Boole, Gottlob Frege, Bertrand Russell y
Hilbert, entre otros muchos, lograron la representación total de los contenidos del lenguaje
natural a través de un conjunto de signos, cada uno con un solo significado, que obedecen
a un grupo de reglas que conforman lo que se conoce como lógica moderna, simbólica o
matemática. Este lenguaje formalizado, permitirá en lo adelante realizar análisis de
contenidos lingüísticos complejos; análisis estos que, por los objetivos perseguidos por la
cátedra, serán revisados y aplicados en la presente unidad, sólo en el área de la lógica
proposicional.
Objetivo
Aplicar, a partir del lenguaje natural, las reglas de la lógica simbólica.

Tema 1. Generalidades del cálculo

proposicional.
Cuando se habla de cálculo se hace referencia al proceso mental que supone aplicar, a
través de reglas establecidas, procedimientos que persiguen obtener un determinado
resultado. Por otro lado, al decir proposicional se está haciendo referencia a la oración
enunciativa inequívocamente verdadera o falsa. La esencia de ambos significados permite
darle sentido a este método de análisis lógico, que nos pone a calcular con el lenguaje.
1.1. Definición de cálculo proposicional.
Muñoz (1996: 52) expresa que “El Cálculo es mera estructura, forma, sistema de
relaciones; por eso le llamamos Cálculo Formal”. Por su parte, Escobar Valenzuela (1900:
216) sostiene que el cálculo proposicional es “la operación, semejante a las que hace la
matemática, donde, de ciertos enunciados o premisas se pueden obtener como
conclusiones otros enunciados, aplicando reglas o leyes establecidas”.
Por último, Ibarra Barrón (1998:260) lo define al decir que “la lógica matemática, en su
búsqueda de precisión y univocidad, forma y contenido son dos características que pueden
expresarse separadamente, generándose así las constantes proposicionales, las variables
proposicionales, la negación, las conectivas, los signos de agrupación y las tablas de
verdad”.
1.2. Clases de fórmulas.
El cálculo proposicional va a estar regido por un lenguaje conformado por un conjunto de

signos y de reglas que permiten construir formas lógicas con diferentes niveles de
complejidad dependiendo de la presencia dentro de los proposiciones analizados, de

determinadas palabras o frases del lenguaje natural llamadas conectivas lógicas, que van a
determinar la utilización de los signos proposicionales y a permitir, según la doctrina
generalmente aceptada, la clasificación de las fórmulas obtenidas en atómicas o
moleculares, las cuales se visualizan en el Gráfico IV. 1.
Estás conectivas lógicas son entre otras: no, y, o, si… entonces, si y sólo si; las cuales,
serán ampliadas más adelante en número asignándoles además, su función semántica
correspondiente.
Gráfico IV.1. Clases de formulas.
A continuación, se describen las formulas atómicas y moleculares señaladas en el gráfico

anterior.
• Proposiciones Atómicas.
También conocidas como simples, no presentan conectivas lógicas, por lo que no admiten
subdivisiones. Una vez simbolizadas dan lugar a las fórmulas atómicas.
Ejemplo IV.1. Proposiciones atómicas.
1. La Universidad es eficiente.
2. Diciembre es el mes más colorido del año.
3. Lógica contiene los principios fundamentales del pensamiento.
• Proposiciones Moleculares.
Por su parte, en las moleculares o compuestas están presentes las conectivas por lo que sí
admiten división y al representarlas en formas lógicas pueden derivar en subfórmulas a
partir de la original.
Ejemplo IV.2. Proposiciones moleculares
1. La Universidad es eficiente y da respuesta inmediata a las necesidades

académicas.
2. Si diciembre es el mes más colorido del año, entonces todos estaremos
felices y comeremos perdices.
3. Lógica contiene los principios fundamentales del pensamiento y se
encuentra en permanente evolución.
Al subdividirse dan como resultado:

1. a) La universidad es eficiente.
b) Da respuesta inmediata a las necesidades académicas.
2. a) Diciembre es el mes más colorido del año.
b) Todos estaremos felices.
c) Comeremos perdices.
3. a) Lógica contiene los principios fundamentales del pensamiento.
b) Se encuentra en permanente evolución.
1.3. Vocabulario del cálculo proposicional.
Como ya se ha dicho la Lógica Simbólica dio como resultado un lenguaje formal nuevo,
conformado por un conjunto de signos cuya adecuada utilización le da sentido a este
sistema de análisis lógico. Este vocabulario, junto con las reglas de formación que
posteriormente se explican, constituye para Muñoz (1996) la gramática del sistema. Está
constituido por los siguientes dos grupos de signos.
Gráfico IV.2. Clasificación de los signos.
A continuación, se describen los signos utilizados en el vocabulario del cálculo

proposicional, señalados en el gráfico anterior:
• Signos Propios o Variables Proposicionales.

Integrados por letras minúsculas del abecedario que van a sustituir o abstraer el contenido
de las proposiciones, de ahí su nombre de variables. Estas letras son: p, q, r, s, t. Gainza y
Romero (1996) expresan que su empleo obedece, a estas pocas reglas:
- deben utilizarse en estricto orden alfabético, es decir, el primer contenido será

sustituido por la “p” el segundo con la “q” y así sucesivamente. Si hubieren más de
cinco contenidos a sustituir se repetirán las letras en el mismo orden pero colocándole
a cada nuevo grupo de letras un número para diferenciarlos entre sí.
Ejemplo IV.3. Signos Propios o Variables Proposicionales
p, q, r, s, t, p1, q1, r1, s1, t1, p2, q2, r2, s2...
- cuando ya se le ha asignado letra a un contenido, debe repetirse la misma si el

contenido se repite más adelante. Las diferencias en género y en número no alteran el
significado.
• Signos Impropios.
Están integrados por dos tipos de signos: los propiamente lógicos y los de puntuación
lógicos.
1. Signos propiamente lógicos; conocidos como de operación o constantes lógicas,

porque sólo se utilizan para sustituir las conectivas correspondientes. Estos signos
van a cumplir una función semántica específica, pues permiten representar el
sentido lingüístico de las proposiciones analizadas en la forma lógica resultante.
Por ser los que sustituyen a las conectivas se les llama también conectores lógicos.
Para la explicación de estos signos se sigue el criterio generalmente aceptado por
la doctrina en cuanto al nombre, función e identificación de conectivas, en cuanto
a los conectores se escoge el sistema de Math, recogido en el texto de Muñoz
(1996).
Cuadro IV.1 Signos Lógicos.
Conector Nombre del Función Conectivas

Signo Semántica
~ Negación Negar No, ni, no es cierto que, no sucede

que, es falso que, tampoco, jamás,
nunca.
• Conjunción Unir y, también, sino no obstante, sin

embargo, así mismo pero, aunque, a
pesar de, a la vez
V Disyunción separar o dar o, o…o.

alternativas
⊃ Implicación Condicionar Si, si…entonces, sólo si, porque, es

condición suficiente para, es condición
necesaria para, implica, siempre que
≡ Equivalencia Da la doble Si y sólo si, equivale.

condición
2. Signos de puntuación lógicos constituidos por {[()]}, los cuales van a sustituir,
como explica Escobar Valenzuela (1999) los signos de puntuación del lenguaje
natural, es decir, el punto y seguido o aparte, el punto y coma y la coma,
respectivamente. En otras palabras, las llaves sustituyen el punto, los corchetes el
punto y coma y los paréntesis la coma. Estos signos, de ser necesarios, tienen por
función como dice la de agrupar los propios e impropios de acuerdo al sentido de
las ideas contenidas en la proposición analizada o como dice Muñoz (1996: 64)
“disminuyen el alcance de los signos de operación que están dentro de él, con
respecto a los signos que están fuera”.
Este vocabulario va a permitir realizar diferentes procesos a través de las reglas que a
partir de aquí se explican.
Tema 2. Reglas del cálculo proposicional.
En este tema se desarrollan las reglas de: formación, transformación e interpretación,

las cuales se visualizan en el gráfico. V.3.
Gráfico IV.3. Reglas del cálculo proposicional.
2.1. Reglas de formación.
Un recorrido por los diferentes estilos doctrinarios que explican las reglas de formación,
permite indicar a continuación la manera de construir formas lógicas:
• Las formas lógicas sólo pueden comenzar por un signo propio, por el negador o por un
signo de puntuación lógico.
• Los signos propios sustituyen todo aquel contenido que no esté considerado como
conectiva lógica, mientras que los signos de operación o constantes lógicas quedan
reservados para ser utilizados cuando alguna de sus conectivas esté presente en la
proposición.
• No pueden simbolizarse dos signos propios juntos, ya que entre ellos debe estar un
conector, excepto en el primero y último signo, si estos son propios; regla semejante
tiene el uso de signos de operación, pues ellos están para conectar a los propios entre
sí, excepto cuando el negador está al comienzo de la fórmula o cuando se ubica al
interior de ella; ya que en este último caso, debe simbolizarse, según corresponda, de
acuerdo al siguiente ejemplo sobre la regla excepcional:
Ejemplo IV.4. Regla excepcional
•~
V~
⊃~
≡~
2.1.1. Simbolización.
Una vez conocido y aprendido el vocabulario del cálculo proposicional, así como las reglas
de formación que orientan su uso, ya se tiene como dice Ángel Muñoz (1996) la gramática
de este sistema formal, pudiendo entonces proceder a la elaboración de las formas lógicas
correspondientes, las cuales, surgen de la sustitución de las proposiciones por los signos
propios e impropios correspondientes, en virtud de la relación que se les asigne. A este
procedimiento se le conoce como simbolización de formas lógicas.
Ejemplo IV.5. Simbolización
1. La Universidad es eficiente y da respuesta inmediata a las necesidades

académicas.
p • q
2. Si diciembre no es el mes más colorido del año o trae lluvias todos

los días, entonces no es cierto que estaremos felices
(pVq)⊃~r
3. Que Lógica contenga los principios fundamentales del pensamiento

equivale a su constante evolución.
p≡q
2.2. Reglas de transformación.
Elaborada la forma lógica corresponde aplicarle el segundo grupo de reglas, es decir, las de
transformación que junto con las de formación, ya estudiadas, conforman la sintaxis del
cálculo proposicional, Muñoz (1996). Una vez aplicado este segundo grupo de reglas la
fórmula estará preparada para la aplicación del último grupo de reglas, es decir, las de
interpretación.
La transformación significa el despeje de los signos impropios obteniendo tantas

subfórmulas como signos de operación tenga la fórmula dada, siguiendo el orden
establecido por las reglas de transformación siguiente:
Gráfico IV.4 Reglas de transformación
Estas reglas determinan el poder de alcance de cada signo; dependiendo del número
asignado, corresponderá despejar primero el signo con el mayor número y así
sucesivamente, siempre y cuando no se encuentren dentro de signos de puntuación lógicos,
pues hay que despejar estos últimos simultáneamente con el de operación que lo define
para que los de operación que estaban encerrados retomen su poder y puedan llegar a ser
despejados, pues, como expresa Muñoz (1996:64) el signo de puntuación lógico
“disminuyen el alcance de los signos de operación que están dentro de él, con respecto a
los signos que están fuera”. El poder de unión, por su parte, permite despejar entre dos
signos de igual poder de alcance aquel que une mayor cantidad de signos a ambos lados.
El despeje señalado da lugar a la subdivisión numerada de la fórmula en tantas subfórmulas

como signos de operación contenga; estas subfórmulas se van uniendo entre sí a través de
enlaces lineales que mantienen la secuencia del procedimiento. En lo adelante se seguirá
trabajando con el Ejemplo IV.4. de la Simbolización, al gráfico resultante se le llama
árbol de formación.
Gráfico IV.5. Árbol de formación.
De esta manera queda lista la fórmula para aplicar tablas de verdad, pues cada signo de
operación ya tiene el número que guiará el orden de interpretación.
2.3. Reglas de interpretación.
A este nivel, interpretar fórmulas lógicas significa aplicar una valoración bivalente, de
verdaderos y falsos, a los signos de operación con la ayuda de los valores asignados a las
variables proposicionales y a los signos de operación, contenidos estos últimos valores en
las llamadas tablas de verdad.
Con relación a las cinco variables proposicionales, ya estudiadas, éstas tienen una cantidad
de valores de verdad, es decir, de verdaderos y falsos fija, que se obtiene al aumentar
progresivamente dichos valores en múltiplos de dos “n” cantidad de veces, de allí que:
p : tiene un verdadero y un falso.
q : dos verdaderos y dos falsos.
r : cuatro verdaderos y cuatro falsos.

s : ocho verdaderos y ocho falsos.
t : dieciséis verdaderos y dieciséis falsos.
A las variables con menor número de valores en la fórmula, se les aumenta en el mismo
orden hasta alcanzar a la que más valores tiene; de la siguiente forma:
Gráfico IV.6. Valores de signos propios.
Y así sucesivamente tendremos la “s” con dieciséis valores, ocho verdaderos y ocho falsos;
por último la “t” con treinta y dos valores, dieciséis verdaderos y dieciséis falsos. Una vez
incorporados los valores correspondientes se procede a interpretar el valor de cada signo
de operación en orden decreciente guiándose para ello por las tablas de verdad que
aparecen a continuación, las cuales, se explican como “un gráfico donde se muestran
visualmente los diferentes valores veritativos dados a cada uno de los miembros de la
proposición molecular; es decir, a sus proposiciones atómicas” Ibarra Barrón (1998:267).
Cuadro IV.2. Tablas de Verdad.
Negación Conjunción Disyunción Implicación Equivalencia
~p p • q p V q p ⊃ q p ≡ q
fv v v v v v v v v v v v v
vf f f v f v v f v v f f v
v f f v v f v f f v f f
f f f f f f f v f f v f
Para aplicar estas tablas se comienza por interpretar el signo con el número más alto en el
árbol de formación, tomando para ello una o dos columnas laterales de valores
dependiendo si es un negador o cualquiera de los otros cuatro signos respectivamente; el
resultado de cada combinación se va colocando debajo del signo de acuerdo a su tabla de
verdad, una vez terminada la interpretación se inutilizan las columnas de ayuda y se
continúa en orden decreciente hasta llegar al signo con el número uno, que arroja la
columna que permite darle nombre al ejercicio de acuerdo de la siguiente clasificación de
fórmulas lógicas, en el Cuadro IV.3.
Cuadro IV.3. Clasificación de las fórmulas lógicas.
Conector Explicación
Tautología Es la fórmula cuya columna número uno arroja todos sus valores
verdaderos; por lo tanto, en razonamiento analizado es correcto, hay ley
lógica.
Contradicción En este caso, todos los valores de la columna son falsos; de ahí que, el
razonamiento es incorrecto, también hay ley lógica.
Contingencia Los valores resultantes en la columna uno son verdaderos y falsos, no

hay ley lógica, porque no se ha demostrado corrección o incorrección;
por lo tanto, la forma es empírica.
Todo el procedimiento anterior, permite evidenciar una vez más el objetivo de la ciencia
lógica, como es la demostración de corrección o incorrección de argumentos. Con la
finalidad de hacer más accesible al estudiante la aplicación de las reglas de interpretación

de fórmulas lógicas, a continuación, se explica el paso a paso del procedimiento.
2.3.1. Pasos para la aplicación de tablas de verdad.
1. Repetir la fórmula inicial.

2. Colocarle a los signos de operación los números obtenidos en el árbol de formación.
3. Escribir debajo de cada variable proposicional los valores de verdad correspondientes,
cuidando de aumentar la(s) de menor cantidad de valores hasta alcanzar la(s) que más
valores tiene.
4. Comenzar a interpretar a partir del signo con el número más alto, auxiliándose con una
columna de valores a la derecha si es negador y con una columna a la izquierda y otra a
la derecha si es cualquiera de los otros signos de operación.
5. Continuar en orden decreciente hasta llegar al número uno o columna de respuestas.
6. La interpretación se realiza con el auxilio de las tablas de verdad, escogiendo para
ello, en cada caso, la que corresponda al signo que se esté trabajando.
7. Tachar la(s) columna(s) de ayuda a medida que se vayan utilizando.
8. Siempre se escogerá como ayuda, la(s) columna(s) más cercana(s) no tachada(s).
9. Al interpretar el signo con el número uno se dará por terminado el procedimiento y se
procederá a escribir en lugar visible la clase de fórmula obtenida. Es la única columna
que permanece despejada (sin tachar).
Ahora, se aplicarán tablas de verdad en el siguiente gráfico:

Gráfico IV.7. Aplicación de las tablas de verdad.
La fórmula es una Contingencia o forma empírica, no hay ley lógica. De esta forma, se
aplica el grupo de reglas del cálculo proposicional contenidas en la presente unidad. Su
uso, lleva al estudiante a desarrollar una práctica que le permite descubrir cómo producir
procesos a través de la aplicación de reglas preestablecidas y verificadas reiteradamente
en la práctica.
“No se conoce y no se comprende sino haciendo”

Ibarra Barrón (1998).
Referencias Bibliográficas
Escobar Valenzuela, Gustavo (1999). Lógica. Nociones y Aplicaciones. México: Editorial.

McGraw-Hill.
Gainza, José Luis y Romero, Alfredo (1996). Lógica para un Profesional Eficiente.
Maracaibo. Guía de Estudios Universitarios Supervisados (EUS). LUZ.
Ibarra Barrón, Carlos (1998). Lógica. México, S.A. de C.V. Primera Edición.
Muñoz García, Ángel (1996). Lógica Simbólica Elemental. Venezuela: Editorial Miró. 2da.
Edición.

PDF U4

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

PDF U4

Cargado por

Copyright:

Formatos disponibles

Unidad IV. Lógica Simbólica.

Documento base para los temas:

© Universidad “Dr. Rafael Belloso Chacín”

Queda prohibida la reproducción o transmisión total o parcial del texto de la

Contenido >> Alice Valbuena

Maracaibo, Venezuela, 2007.

Tema 1. Generalidades del cálculo proposicional. ................................................5

1.1. Definición de cálculo proposicional. ...................................................5

1.2. Clases de fórmulas........................................................................5

1.3. Vocabulario del cálculo proposicional. ................................................8

Tema 2. Reglas del cálculo proposicional. ........................................................ 11

2.1. Reglas de formación. ................................................................... 11

2.2. Reglas de transformación.............................................................. 13

2.3. Reglas de interpretación............................................................... 15

Referencias Bibliográficas ............................................................................ 20

La división de la lógica presentó un enriquecimiento trascendental, entre los siglos XIX y

De esta manera, nutriéndose con el espíritu de exactitud y rigidez de la matemática las

Aplicar, a partir del lenguaje natural, las reglas de la lógica simbólica.

Tema 1. Generalidades del cálculo

1.1. Definición de cálculo proposicional.

1.2. Clases de fórmulas.

El cálculo proposicional va a estar regido por un lenguaje conformado por un conjunto de

complejidad dependiendo de la presencia dentro de los proposiciones analizados, de

Gráfico IV.1. Clases de formulas.

A continuación, se describen las formulas atómicas y moleculares señaladas en el gráfico

Ejemplo IV.1. Proposiciones atómicas.

Ejemplo IV.2. Proposiciones moleculares

1. La Universidad es eficiente y da respuesta inmediata a las necesidades

Al subdividirse dan como resultado:

1.3. Vocabulario del cálculo proposicional.

Gráfico IV.2. Clasificación de los signos.

A continuación, se describen los signos utilizados en el vocabulario del cálculo

• Signos Propios o Variables Proposicionales.

- deben utilizarse en estricto orden alfabético, es decir, el primer contenido será

Ejemplo IV.3. Signos Propios o Variables Proposicionales

p, q, r, s, t, p1, q1, r1, s1, t1, p2, q2, r2, s2...

- cuando ya se le ha asignado letra a un contenido, debe repetirse la misma si el

1. Signos propiamente lógicos; conocidos como de operación o constantes lógicas,

Cuadro IV.1 Signos Lógicos.

Conector Nombre del Función Conectivas

~ Negación Negar No, ni, no es cierto que, no sucede

• Conjunción Unir y, también, sino no obstante, sin

V Disyunción separar o dar o, o…o.

⊃ Implicación Condicionar Si, si…entonces, sólo si, porque, es

≡ Equivalencia Da la doble Si y sólo si, equivale.

Tema 2. Reglas del cálculo proposicional.

En este tema se desarrollan las reglas de: formación, transformación e interpretación,

Gráfico IV.3. Reglas del cálculo proposicional.

2.1. Reglas de formación.

Ejemplo IV.4. Regla excepcional

Ejemplo IV.5. Simbolización

1. La Universidad es eficiente y da respuesta inmediata a las necesidades

2. Si diciembre no es el mes más colorido del año o trae lluvias todos

3. Que Lógica contenga los principios fundamentales del pensamiento

2.2. Reglas de transformación.

La transformación significa el despeje de los signos impropios obteniendo tantas

Gráfico IV.4 Reglas de transformación

El despeje señalado da lugar a la subdivisión numerada de la fórmula en tantas subfórmulas

Gráfico IV.5. Árbol de formación.

2.3. Reglas de interpretación.

r : cuatro verdaderos y cuatro falsos.

Gráfico IV.6. Valores de signos propios.

Cuadro IV.2. Tablas de Verdad.